L0 = <http://www.simantics.org/Layer0-1.1>
L0X = <http://www.simantics.org/Layer0X-1.1>

// This ontology is moved from Layer0 and is deprecated but still used

PRED = L0X.Predicate : L0.Library
    L0.HasResourceClass "org.simantics.layer0.PredicateResource"
    
PRED.Predicate <T L0.Entity 
PRED.BinaryPredicate <T L0.Entity
PRED.Conjunction <T PRED.Predicate
//    [HasPredicate all Predicate]
PRED.Disjunction <T PRED.Predicate
//    [HasPredicate all Predicate]
PRED.Negation <T PRED.Predicate
//    [HasPredicate all Predicate card "1"]
PRED.HasPredicate <R L0.IsRelatedTo
    L0.HasRange PRED.Predicate

PRED.OrderedSetElements : PRED.BinaryPredicate
PRED.CompositePredicate <T PRED.BinaryPredicate
    @L0.singleProperty PRED.AppliesFirst
    @L0.singleProperty PRED.AppliesThen
PRED.InversePredicate <T PRED.BinaryPredicate
    @L0.singleProperty PRED.HasBinaryPredicate
PRED.TransitiveClosure <T PRED.BinaryPredicate
    @L0.singleProperty PRED.HasBinaryPredicate
PRED.UnionPredicate <T PRED.BinaryPredicate
    @L0.property PRED.HasBinaryPredicate
PRED.IntersectionPredicate <T PRED.BinaryPredicate
    @L0.property PRED.HasBinaryPredicate
PRED.HasBinaryPredicate <R L0.IsRelatedTo
    L0.HasRange PRED.BinaryPredicate
PRED.AppliesFirst <R L0.IsRelatedTo
    L0.HasRange PRED.BinaryPredicate
PRED.AppliesThen <R L0.IsRelatedTo
    L0.HasRange PRED.BinaryPredicate