bundles/org.simantics.layer0x.ontology/graph/Predicates.pgraph

   1 L0 = <http://www.simantics.org/Layer0-1.1>\r
   2 L0X = <http://www.simantics.org/Layer0X-1.1>\r
   3 \r
   4 // This ontology is moved from Layer0 and is deprecated but still used\r
   5 \r
   6 PRED = L0X.Predicate : L0.Library\r
   7     L0.HasResourceClass "org.simantics.layer0.PredicateResource"\r
   8     \r
   9 PRED.Predicate <T L0.Entity \r
  10 PRED.BinaryPredicate <T L0.Entity\r
  11 PRED.Conjunction <T PRED.Predicate\r
  12 //    [HasPredicate all Predicate]\r
  13 PRED.Disjunction <T PRED.Predicate\r
  14 //    [HasPredicate all Predicate]\r
  15 PRED.Negation <T PRED.Predicate\r
  16 //    [HasPredicate all Predicate card "1"]\r
  17 PRED.HasPredicate <R L0.IsRelatedTo\r
  18     L0.HasRange PRED.Predicate\r
  19 \r
  20 PRED.OrderedSetElements : PRED.BinaryPredicate\r
  21 PRED.CompositePredicate <T PRED.BinaryPredicate\r
  22     @L0.singleProperty PRED.AppliesFirst\r
  23     @L0.singleProperty PRED.AppliesThen\r
  24 PRED.InversePredicate <T PRED.BinaryPredicate\r
  25     @L0.singleProperty PRED.HasBinaryPredicate\r
  26 PRED.TransitiveClosure <T PRED.BinaryPredicate\r
  27     @L0.singleProperty PRED.HasBinaryPredicate\r
  28 PRED.UnionPredicate <T PRED.BinaryPredicate\r
  29     @L0.property PRED.HasBinaryPredicate\r
  30 PRED.IntersectionPredicate <T PRED.BinaryPredicate\r
  31     @L0.property PRED.HasBinaryPredicate\r
  32 PRED.HasBinaryPredicate <R L0.IsRelatedTo\r
  33     L0.HasRange PRED.BinaryPredicate\r
  34 PRED.AppliesFirst <R L0.IsRelatedTo\r
  35     L0.HasRange PRED.BinaryPredicate\r
  36 PRED.AppliesThen <R L0.IsRelatedTo\r
  37     L0.HasRange PRED.BinaryPredicate