Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (instance ?PRED2 ?CLASS)
        (subclass ?CLASS InheritableRelation))
    (instance ?PRED1 ?CLASS))
Merge.kif 198-203
(subclass InheritableRelation Relation) Merge.kif 2459-2459 Inheritable relation is a subclass of relation
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2085-2085 Single valued relation is a subclass of inheritable relation
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2103-2103 Total valued relation is a subclass of inheritable relation
(subclass BinaryRelation InheritableRelation) Merge.kif 2140-2140 Binary relation is a subclass of inheritable relation
(subclass CaseRole InheritableRelation) Merge.kif 2302-2302 Case role is a subclass of inheritable relation
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2466-2466 Probability relation is a subclass of inheritable relation
(subclass SpatialRelation InheritableRelation) Merge.kif 2558-2558 Spatial relation is a subclass of inheritable relation
(subclass TemporalRelation InheritableRelation) Merge.kif 2565-2565 Temporal relation is a subclass of inheritable relation
(subclass IntentionalRelation InheritableRelation) Merge.kif 2571-2571 Intentional relation is a subclass of inheritable relation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2597-2597 Propositional attitude is a subclass of inheritable relation
(subclass ObjectAttitude InheritableRelation) Merge.kif 2610-2610 Object attitude is a subclass of inheritable relation
(subclass TernaryRelation InheritableRelation) Merge.kif 2744-2744 Ternary relation is a subclass of inheritable relation
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2751-2751 Quaternary relation is a subclass of inheritable relation
(subclass QuintaryRelation InheritableRelation) Merge.kif 2758-2758 Quintary relation is a subclass of inheritable relation
(subclass Predicate InheritableRelation) Merge.kif 3187-3187 Predicate is a subclass of inheritable relation
(subclass Function InheritableRelation) Merge.kif 3198-3198 Function is a subclass of inheritable relation
(subclass UnaryFunction InheritableRelation) Merge.kif 3207-3207 Unary function is a subclass of inheritable relation
(subclass BinaryFunction InheritableRelation) Merge.kif 3246-3246 Binary function is a subclass of inheritable relation
(subclass TernaryFunction InheritableRelation) Merge.kif 3297-3297 Ternary function is a subclass of inheritable relation
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3308-3308 Quaternary function is a subclass of inheritable relation
(subclass BinaryPredicate InheritableRelation) Merge.kif 3325-3325 Binary predicate is a subclass of inheritable relation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3336-3336 Ternary predicate is a subclass of inheritable relation
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3347-3347 Quaternary predicate is a subclass of inheritable relation
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3358-3358 Quintary predicate is a subclass of inheritable relation
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3379-3379 Relation extended to quantities is a subclass of inheritable relation


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners