Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InheritableRelation
InheritableRelation

appearance as argument number 1
-------------------------


(documentation InheritableRelation ChineseLanguage "这是一个 Relation 类别,它的特性可以是 通过 subrelation Predicate 把特性在类别的层次结构承传下去。") chinese_format.kif 1897-1898
(documentation InheritableRelation EnglishLanguage "The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.") Merge.kif 2461-2463
(subclass InheritableRelation Relation) Merge.kif 2459-2459 subclass InheritableRelation and Relation

appearance as argument number 2
-------------------------


(subclass BinaryFunction InheritableRelation) Merge.kif 3277-3277 subclass BinaryFunction and InheritableRelation
(subclass BinaryPredicate InheritableRelation) Merge.kif 3356-3356 subclass BinaryPredicate and InheritableRelation
(subclass BinaryRelation InheritableRelation) Merge.kif 2140-2140 subclass BinaryRelation and InheritableRelation
(subclass CaseRole InheritableRelation) Merge.kif 2302-2302 subclass CaseRole and InheritableRelation
(subclass Function InheritableRelation) Merge.kif 3229-3229 subclass Function and InheritableRelation
(subclass IntentionalRelation InheritableRelation) Merge.kif 2571-2571 subclass IntentionalRelation and InheritableRelation
(subclass ObjectAttitude InheritableRelation) Merge.kif 2610-2610 subclass ObjectAttitude and InheritableRelation
(subclass Predicate InheritableRelation) Merge.kif 3218-3218 subclass Predicate and InheritableRelation
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2466-2466 subclass ProbabilityRelation and InheritableRelation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2597-2597 subclass PropositionalAttitude and InheritableRelation
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3339-3339 subclass QuaternaryFunction and InheritableRelation
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3378-3378 subclass QuaternaryPredicate and InheritableRelation
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2751-2751 subclass QuaternaryRelation and InheritableRelation
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3389-3389 subclass QuintaryPredicate and InheritableRelation
(subclass QuintaryRelation InheritableRelation) Merge.kif 2758-2758 subclass QuintaryRelation and InheritableRelation
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3410-3410 subclass RelationExtendedToQuantities and InheritableRelation
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2085-2085 subclass SingleValuedRelation and InheritableRelation
(subclass SpatialRelation InheritableRelation) Merge.kif 2558-2558 subclass SpatialRelation and InheritableRelation
(subclass TemporalRelation InheritableRelation) Merge.kif 2565-2565 subclass TemporalRelation and InheritableRelation
(subclass TernaryFunction InheritableRelation) Merge.kif 3328-3328 subclass TernaryFunction and InheritableRelation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3367-3367 subclass TernaryPredicate and InheritableRelation
(subclass TernaryRelation InheritableRelation) Merge.kif 2744-2744 subclass TernaryRelation and InheritableRelation
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2103-2103 subclass TotalValuedRelation and InheritableRelation
(subclass UnaryFunction InheritableRelation) Merge.kif 3238-3238 subclass UnaryFunction and InheritableRelation
(termFormat ChineseLanguage InheritableRelation "可继承的关系") domainEnglishFormat.kif 30010-30010

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (instance ?PRED2 ?CLASS)
        (subclass ?CLASS InheritableRelation))
    (instance ?PRED1 ?CLASS))
Merge.kif 198-203


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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