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

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


(subclass BinaryFunction InheritableRelation) Merge.kif 3400-3400 2変数関数 は InheritableRelation の subclass では
(subclass BinaryPredicate InheritableRelation) Merge.kif 3480-3480 2進述語 は InheritableRelation の subclass では
(subclass BinaryRelation InheritableRelation) Merge.kif 2229-2229 2項関係 は InheritableRelation の subclass では
(subclass CaseRole InheritableRelation) Merge.kif 2397-2397 格役割 は InheritableRelation の subclass では
(subclass Function InheritableRelation) Merge.kif 3351-3351 関数 は InheritableRelation の subclass では
(subclass IntentionalRelation InheritableRelation) Merge.kif 2666-2666 IntentionalRelation は InheritableRelation の subclass では
(subclass ObjectAttitude InheritableRelation) Merge.kif 2705-2705 対象物姿勢 は InheritableRelation の subclass では
(subclass Predicate InheritableRelation) Merge.kif 3340-3340 述語 は InheritableRelation の subclass では
(subclass ProbabilityRelation InheritableRelation) Merge.kif 2561-2561 確率関係 は InheritableRelation の subclass では
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2692-2692 命題態度 は InheritableRelation の subclass では
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3463-3463 4変数関数 は InheritableRelation の subclass では
(subclass QuaternaryPredicate InheritableRelation) Merge.kif 3502-3502 4進述語 は InheritableRelation の subclass では
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2860-2860 4変数関係 は InheritableRelation の subclass では
(subclass QuintaryPredicate InheritableRelation) Merge.kif 3513-3513 5進述語 は InheritableRelation の subclass では
(subclass QuintaryRelation InheritableRelation) Merge.kif 2867-2867 5進法関係 は InheritableRelation の subclass では
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3534-3534 数量に拡張された関係 は InheritableRelation の subclass では
(subclass SingleValuedRelation InheritableRelation) Merge.kif 2173-2173 一価関係 は InheritableRelation の subclass では
(subclass SpatialRelation InheritableRelation) Merge.kif 2653-2653 空間的関係 は InheritableRelation の subclass では
(subclass TemporalRelation InheritableRelation) Merge.kif 2660-2660 時間関係 は InheritableRelation の subclass では
(subclass TernaryFunction InheritableRelation) Merge.kif 3452-3452 3変数関数 は InheritableRelation の subclass では
(subclass TernaryPredicate InheritableRelation) Merge.kif 3491-3491 3進述語 は InheritableRelation の subclass では
(subclass TernaryRelation InheritableRelation) Merge.kif 2853-2853 三進法関係 は InheritableRelation の subclass では
(subclass TotalValuedRelation InheritableRelation) Merge.kif 2191-2191 合計値関係 は InheritableRelation の subclass では
(subclass UnaryFunction InheritableRelation) Merge.kif 3360-3360 1変数関数 は InheritableRelation の subclass では
(termFormat ChineseLanguage InheritableRelation "可继承的关系") domainEnglishFormat.kif 30102-30102 1変数関数 は InheritableRelation の subclass では

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


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