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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2560-2562
(documentation InheritableRelation JapaneseLanguage "Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。") japanese_format.kif 523-524
(subclass InheritableRelation Relation) Merge.kif 2558-2558 InheritableRelation est une sous-classe de relation

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


(subclass BinaryFunction InheritableRelation) Merge.kif 3400-3400 Fonction binaire est une sous-classe de InheritableRelation
(subclass BinaryPredicate InheritableRelation) Merge.kif 3480-3480 Pr�dicat binaire est une sous-classe de InheritableRelation
(subclass BinaryRelation InheritableRelation) Merge.kif 2233-2233 Relation binaire est une sous-classe de InheritableRelation
(subclass CaseRole InheritableRelation) Merge.kif 2401-2401 R�le d�pendant du cas est une sous-classe de InheritableRelation
(subclass Function InheritableRelation) Merge.kif 3351-3351 Function est une sous-classe de InheritableRelation
(subclass IntentionalRelation InheritableRelation) Merge.kif 2670-2670 IntentionalRelation est une sous-classe de InheritableRelation
(subclass ObjectAttitude InheritableRelation) Merge.kif 2709-2709 Attitude d'objet est une sous-classe de InheritableRelation
(subclass Predicate InheritableRelation) Merge.kif 3340-3340 Predicat est une sous-classe de InheritableRelation
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2565-2565 Relation de probabilit� est une sous-classe de InheritableRelation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2696-2696 Attitude propositionnelle est une sous-classe de InheritableRelation
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3463-3463 Function quaternaire est une sous-classe de InheritableRelation
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3502-3502 Pr�dicat quaternaire est une sous-classe de InheritableRelation
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2862-2862 Relation quaternaire est une sous-classe de InheritableRelation
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3513-3513 Predicate quinternaire est une sous-classe de InheritableRelation
(subclass QuintaryRelation InheritableRelation) Merge.kif 2869-2869 Relation quinternaire est une sous-classe de InheritableRelation
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3534-3534 Relation �tendue aux quantit�es est une sous-classe de InheritableRelation
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2177-2177 Relation simple est une sous-classe de InheritableRelation
(subclass SpatialRelation InheritableRelation) Merge.kif 2657-2657 Relation spatial est une sous-classe de InheritableRelation
(subclass TemporalRelation InheritableRelation) Merge.kif 2664-2664 Relation temporel est une sous-classe de InheritableRelation
(subclass TernaryFunction InheritableRelation) Merge.kif 3452-3452 Fonction ternaire est une sous-classe de InheritableRelation
(subclass TernaryPredicate InheritableRelation) Merge.kif 3491-3491 Pr�dicat ternaire est une sous-classe de InheritableRelation
(subclass TernaryRelation InheritableRelation) Merge.kif 2855-2855 Relation ternaire est une sous-classe de InheritableRelation
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2195-2195 Relation total est une sous-classe de InheritableRelation
(subclass UnaryFunction InheritableRelation) Merge.kif 3360-3360 Function unaire est une sous-classe de InheritableRelation
(termFormat ChineseLanguage InheritableRelation "可继承的关系") domainEnglishFormat.kif 30091-30091

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


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 3.0 is open source software produced by Articulate Software and its partners