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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InheritableRelation

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 2519-2521
(subclass InheritableRelation Relation) Merge.kif 2517-2517

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


(subclass BinaryFunction InheritableRelation) Merge.kif 3359-3359
(subclass BinaryPredicate InheritableRelation) Merge.kif 3439-3439
(subclass BinaryRelation InheritableRelation) Merge.kif 2192-2192
(subclass CaseRole InheritableRelation) Merge.kif 2360-2360
(subclass Function InheritableRelation) Merge.kif 3310-3310
(subclass IntentionalRelation InheritableRelation) Merge.kif 2629-2629
(subclass ObjectAttitude InheritableRelation) Merge.kif 2668-2668
(subclass Predicate InheritableRelation) Merge.kif 3299-3299
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2524-2524
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2655-2655
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3422-3422
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3461-3461
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2821-2821
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3472-3472
(subclass QuintaryRelation InheritableRelation) Merge.kif 2828-2828
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3493-3493
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2136-2136
(subclass SpatialRelation InheritableRelation) Merge.kif 2616-2616
(subclass TemporalRelation InheritableRelation) Merge.kif 2623-2623
(subclass TernaryFunction InheritableRelation) Merge.kif 3411-3411
(subclass TernaryPredicate InheritableRelation) Merge.kif 3450-3450
(subclass TernaryRelation InheritableRelation) Merge.kif 2814-2814
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2154-2154
(subclass UnaryFunction InheritableRelation) Merge.kif 3319-3319
(termFormat ChineseLanguage InheritableRelation "可继承的关系") domainEnglishFormat.kif 30077-30077

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 200-205


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

Show without tree


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