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 2427-2429
(subclass InheritableRelation Relation) Merge.kif 2425-2425

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


(subclass BinaryFunction InheritableRelation) Merge.kif 3123-3123
(subclass BinaryPredicate InheritableRelation) Merge.kif 3202-3202
(subclass BinaryRelation InheritableRelation) Merge.kif 2106-2106
(subclass CaseRole InheritableRelation) Merge.kif 2268-2268
(subclass Function InheritableRelation) Merge.kif 3075-3075
(subclass IntentionalRelation InheritableRelation) Merge.kif 2538-2538
(subclass ObjectAttitude InheritableRelation) Merge.kif 2577-2577
(subclass Predicate InheritableRelation) Merge.kif 3064-3064
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2432-2432
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2564-2564
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3185-3185
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3224-3224
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2718-2718
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3235-3235
(subclass QuintaryRelation InheritableRelation) Merge.kif 2725-2725
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3256-3256
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2051-2051
(subclass SpatialRelation InheritableRelation) Merge.kif 2525-2525
(subclass TemporalRelation InheritableRelation) Merge.kif 2532-2532
(subclass TernaryFunction InheritableRelation) Merge.kif 3174-3174
(subclass TernaryPredicate InheritableRelation) Merge.kif 3213-3213
(subclass TernaryRelation InheritableRelation) Merge.kif 2711-2711
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2069-2069
(subclass UnaryFunction InheritableRelation) Merge.kif 3084-3084
(termFormat ChineseLanguage InheritableRelation "可继承的关系") domainEnglishFormat.kif 29995-29995

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners