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 200-205
(subclass InheritableRelation Relation) Merge.kif 2558-2558 InheritableRelation ist eine teilkategorie von Relation
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2177-2177 SingleValuedRelation ist eine teilkategorie von InheritableRelation
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2195-2195 TotalValuedRelation ist eine teilkategorie von InheritableRelation
(subclass BinaryRelation InheritableRelation) Merge.kif 2233-2233 BinaryRelation ist eine teilkategorie von InheritableRelation
(subclass CaseRole InheritableRelation) Merge.kif 2401-2401 CaseRole ist eine teilkategorie von InheritableRelation
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2565-2565 ProbabilityRelation ist eine teilkategorie von InheritableRelation
(subclass SpatialRelation InheritableRelation) Merge.kif 2657-2657 SpatialRelation ist eine teilkategorie von InheritableRelation
(subclass TemporalRelation InheritableRelation) Merge.kif 2664-2664 TemporalRelation ist eine teilkategorie von InheritableRelation
(subclass IntentionalRelation InheritableRelation) Merge.kif 2670-2670 IntentionalRelation ist eine teilkategorie von InheritableRelation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2696-2696 PropositionalAttitude ist eine teilkategorie von InheritableRelation
(subclass ObjectAttitude InheritableRelation) Merge.kif 2709-2709 ObjectAttitude ist eine teilkategorie von InheritableRelation
(subclass TernaryRelation InheritableRelation) Merge.kif 2855-2855 TernaryRelation ist eine teilkategorie von InheritableRelation
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2862-2862 QuaternaryRelation ist eine teilkategorie von InheritableRelation
(subclass QuintaryRelation InheritableRelation) Merge.kif 2869-2869 QuintaryRelation ist eine teilkategorie von InheritableRelation
(subclass Predicate InheritableRelation) Merge.kif 3340-3340 Predicate ist eine teilkategorie von InheritableRelation
(subclass Function InheritableRelation) Merge.kif 3351-3351 Function ist eine teilkategorie von InheritableRelation
(subclass UnaryFunction InheritableRelation) Merge.kif 3360-3360 UnaryFunction ist eine teilkategorie von InheritableRelation
(subclass BinaryFunction InheritableRelation) Merge.kif 3400-3400 BinaryFunction ist eine teilkategorie von InheritableRelation
(subclass TernaryFunction InheritableRelation) Merge.kif 3452-3452 TernaryFunction ist eine teilkategorie von InheritableRelation
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3463-3463 QuaternaryFunction ist eine teilkategorie von InheritableRelation
(subclass BinaryPredicate InheritableRelation) Merge.kif 3480-3480 BinaryPredicate ist eine teilkategorie von InheritableRelation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3491-3491 TernaryPredicate ist eine teilkategorie von InheritableRelation
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3502-3502 QuaternaryPredicate ist eine teilkategorie von InheritableRelation
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3513-3513 QuintaryPredicate ist eine teilkategorie von InheritableRelation
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3534-3534 RelationExtendedToQuantities ist eine teilkategorie von InheritableRelation


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners