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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InheritableRelation
InheritableRelation(inheritable relation)inheritable_relation, 可繼承的關係, 可继承的关系

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 2460-2462
(subclass InheritableRelation Relation) Merge.kif 2458-2458 Inheritable relation is a subclass of relation

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


(subclass BinaryFunction InheritableRelation) Merge.kif 3156-3156 Binary function is a subclass of inheritable relation
(subclass BinaryPredicate InheritableRelation) Merge.kif 3235-3235 Binary predicate is a subclass of inheritable relation
(subclass BinaryRelation InheritableRelation) Merge.kif 2139-2139 Binary relation is a subclass of inheritable relation
(subclass CaseRole InheritableRelation) Merge.kif 2301-2301 Case role is a subclass of inheritable relation
(subclass Function InheritableRelation) Merge.kif 3108-3108 Function is a subclass of inheritable relation
(subclass IntentionalRelation InheritableRelation) Merge.kif 2571-2571 Intentional relation is a subclass of inheritable relation
(subclass ObjectAttitude InheritableRelation) Merge.kif 2610-2610 Object attitude is a subclass of inheritable relation
(subclass Predicate InheritableRelation) Merge.kif 3097-3097 Predicate is a subclass of inheritable relation
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2465-2465 Probability relation is a subclass of inheritable relation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2597-2597 Propositional attitude is a subclass of inheritable relation
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3218-3218 Quaternary function is a subclass of inheritable relation
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3257-3257 Quaternary predicate is a subclass of inheritable relation
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2751-2751 Quaternary relation is a subclass of inheritable relation
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3268-3268 Quintary predicate is a subclass of inheritable relation
(subclass QuintaryRelation InheritableRelation) Merge.kif 2758-2758 Quintary relation is a subclass of inheritable relation
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3289-3289 Relation extended to quantities is a subclass of inheritable relation
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2084-2084 Single valued 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 TernaryFunction InheritableRelation) Merge.kif 3207-3207 Ternary function is a subclass of inheritable relation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3246-3246 Ternary predicate is a subclass of inheritable relation
(subclass TernaryRelation InheritableRelation) Merge.kif 2744-2744 Ternary relation is a subclass of inheritable relation
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2102-2102 Total valued relation is a subclass of inheritable relation
(subclass UnaryFunction InheritableRelation) Merge.kif 3117-3117 Unary function is a subclass of inheritable relation
(termFormat ChineseLanguage InheritableRelation "可继承的关系") domainEnglishFormat.kif 29995-29995 "可继承的关系" is the printable form of inheritable relation in ChineseLanguage

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