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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InheritableRelation

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 2506-2508
(subclass InheritableRelation Relation) Merge.kif 2504-2504 可继承的关系关系subclass

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


(subclass BinaryFunction InheritableRelation) Merge.kif 3334-3334 二元函数可继承的关系subclass
(subclass BinaryPredicate InheritableRelation) Merge.kif 3414-3414 二元谓语可继承的关系subclass
(subclass BinaryRelation InheritableRelation) Merge.kif 2179-2179 二元关系可继承的关系subclass
(subclass CaseRole InheritableRelation) Merge.kif 2347-2347 格角色可继承的关系subclass
(subclass Function InheritableRelation) Merge.kif 3286-3286 函数可继承的关系subclass
(subclass IntentionalRelation InheritableRelation) Merge.kif 2616-2616 有意图的关系可继承的关系subclass
(subclass ObjectAttitude InheritableRelation) Merge.kif 2655-2655 对象态度可继承的关系subclass
(subclass Predicate InheritableRelation) Merge.kif 3275-3275 谓语可继承的关系subclass
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2511-2511 概率关系可继承的关系subclass
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2642-2642 命题态度可继承的关系subclass
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3397-3397 四元函数可继承的关系subclass
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3436-3436 四元谓语可继承的关系subclass
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2796-2796 四元关系可继承的关系subclass
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3447-3447 五元谓语可继承的关系subclass
(subclass QuintaryRelation InheritableRelation) Merge.kif 2803-2803 五元关系可继承的关系subclass
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3468-3468 延伸数量关系可继承的关系subclass
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2123-2123 单值关系可继承的关系subclass
(subclass SpatialRelation InheritableRelation) Merge.kif 2603-2603 空间关系可继承的关系subclass
(subclass TemporalRelation InheritableRelation) Merge.kif 2610-2610 时间关系可继承的关系subclass
(subclass TernaryFunction InheritableRelation) Merge.kif 3386-3386 三元函数可继承的关系subclass
(subclass TernaryPredicate InheritableRelation) Merge.kif 3425-3425 三元谓语可继承的关系subclass
(subclass TernaryRelation InheritableRelation) Merge.kif 2789-2789 三元关系可继承的关系subclass
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2141-2141 总值关系可继承的关系subclass
(subclass UnaryFunction InheritableRelation) Merge.kif 3295-3295 一元函数可继承的关系subclass
(termFormat ChineseLanguage InheritableRelation "可继承的关系") domainEnglishFormat.kif 30078-30078

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