1 L0 = <http://www.simantics.org/Layer0-1.1>
\r
2 L0X = <http://www.simantics.org/Layer0X-1.1>
\r
4 // This ontology is moved from Layer0 and is deprecated but still used
\r
6 PRED = L0X.Predicate : L0.Library
\r
7 L0.HasResourceClass "org.simantics.layer0.PredicateResource"
\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
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