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 把特性在类别的层次结构承传下去。") Merge.kif 2728-2729
(documentation InheritableRelation EnglishLanguage "The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.") Merge.kif 2725-2727
(subclass InheritableRelation Relation) Merge.kif 2724-2724 Inheritable relation is a subclass of relation

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


(subclass BinaryFunction InheritableRelation) Merge.kif 3490-3490 Binary function is a subclass of inheritable relation
(subclass BinaryPredicate InheritableRelation) Merge.kif 3576-3576 Binary predicate is a subclass of inheritable relation
(subclass BinaryRelation InheritableRelation) Merge.kif 2363-2363 Binary relation is a subclass of inheritable relation
(subclass CaseRole InheritableRelation) Merge.kif 2542-2542 Case role is a subclass of inheritable relation
(subclass Function InheritableRelation) Merge.kif 3437-3437 Function is a subclass of inheritable relation
(subclass IntentionalRelation InheritableRelation) Merge.kif 2851-2851 Intentional relation is a subclass of inheritable relation
(subclass ObjectAttitude InheritableRelation) Merge.kif 2894-2894 Object attitude is a subclass of inheritable relation
(subclass Predicate InheritableRelation) Merge.kif 3423-3423 Predicate is a subclass of inheritable relation
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2732-2732 Probability relation is a subclass of inheritable relation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2880-2880 Propositional attitude is a subclass of inheritable relation
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3557-3557 Quaternary function is a subclass of inheritable relation
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3599-3599 Quaternary predicate is a subclass of inheritable relation
(subclass QuaternaryRelation InheritableRelation) Merge.kif 3047-3047 Quaternary relation is a subclass of inheritable relation
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3611-3611 Quintary predicate is a subclass of inheritable relation
(subclass QuintaryRelation InheritableRelation) Merge.kif 3055-3055 Quintary relation is a subclass of inheritable relation
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3634-3634 Relation extended to quantities is a subclass of inheritable relation
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2299-2299 Single valued relation is a subclass of inheritable relation
(subclass SpatialRelation InheritableRelation) Merge.kif 2836-2836 Spatial relation is a subclass of inheritable relation
(subclass TemporalRelation InheritableRelation) Merge.kif 2844-2844 Temporal relation is a subclass of inheritable relation
(subclass TernaryFunction InheritableRelation) Merge.kif 3546-3546 Ternary function is a subclass of inheritable relation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3588-3588 Ternary predicate is a subclass of inheritable relation
(subclass TernaryRelation InheritableRelation) Merge.kif 3039-3039 Ternary relation is a subclass of inheritable relation
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2319-2319 Total valued relation is a subclass of inheritable relation
(subclass UnaryFunction InheritableRelation) Merge.kif 3449-3449 Unary function is a subclass of inheritable relation
(termFormat EnglishLanguage InheritableRelation "inheritable relation") domainEnglishFormat.kif 5432-5432 "inheritable relation" is the printable form of inheritable relation in english language

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 221-226


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