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)

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 2466-2468
(subclass InheritableRelation Relation) Merge.kif 2464-2464 Inheritable relation is a subclass of relation

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


(subclass BinaryFunction InheritableRelation) Merge.kif 3282-3282 Binary function is a subclass of inheritable relation
(subclass BinaryPredicate InheritableRelation) Merge.kif 3361-3361 Binary predicate is a subclass of inheritable relation
(subclass BinaryRelation InheritableRelation) Merge.kif 2145-2145 Binary relation is a subclass of inheritable relation
(subclass CaseRole InheritableRelation) Merge.kif 2307-2307 Case role is a subclass of inheritable relation
(subclass Function InheritableRelation) Merge.kif 3234-3234 Function is a subclass of inheritable relation
(subclass IntentionalRelation InheritableRelation) Merge.kif 2576-2576 Intentional relation is a subclass of inheritable relation
(subclass ObjectAttitude InheritableRelation) Merge.kif 2615-2615 Object attitude is a subclass of inheritable relation
(subclass Predicate InheritableRelation) Merge.kif 3223-3223 Predicate is a subclass of inheritable relation
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2471-2471 Probability relation is a subclass of inheritable relation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2602-2602 Propositional attitude is a subclass of inheritable relation
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3344-3344 Quaternary function is a subclass of inheritable relation
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3383-3383 Quaternary predicate is a subclass of inheritable relation
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2756-2756 Quaternary relation is a subclass of inheritable relation
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3394-3394 Quintary predicate is a subclass of inheritable relation
(subclass QuintaryRelation InheritableRelation) Merge.kif 2763-2763 Quintary relation is a subclass of inheritable relation
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3415-3415 Relation extended to quantities is a subclass of inheritable relation
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2090-2090 Single valued relation is a subclass of inheritable relation
(subclass SpatialRelation InheritableRelation) Merge.kif 2563-2563 Spatial relation is a subclass of inheritable relation
(subclass TemporalRelation InheritableRelation) Merge.kif 2570-2570 Temporal relation is a subclass of inheritable relation
(subclass TernaryFunction InheritableRelation) Merge.kif 3333-3333 Ternary function is a subclass of inheritable relation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3372-3372 Ternary predicate is a subclass of inheritable relation
(subclass TernaryRelation InheritableRelation) Merge.kif 2749-2749 Ternary relation is a subclass of inheritable relation
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2108-2108 Total valued relation is a subclass of inheritable relation
(subclass UnaryFunction InheritableRelation) Merge.kif 3243-3243 Unary function is a subclass of inheritable relation
(termFormat ChineseLanguage InheritableRelation "可继承的关系") domainEnglishFormat.kif 30019-30019

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 199-204


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