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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InheritableRelation

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