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

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