InheritableRelation - Sigma Knowledge base Browser

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

appearance as argument number 2

(subclass BinaryFunction InheritableRelation)	Merge.kif 3400-3400
(subclass BinaryPredicate InheritableRelation)	Merge.kif 3480-3480
(subclass BinaryRelation InheritableRelation)	Merge.kif 2229-2229
(subclass CaseRole InheritableRelation)	Merge.kif 2397-2397
(subclass Function InheritableRelation)	Merge.kif 3351-3351
(subclass IntentionalRelation InheritableRelation)	Merge.kif 2666-2666
(subclass ObjectAttitude InheritableRelation)	Merge.kif 2705-2705
(subclass Predicate InheritableRelation)	Merge.kif 3340-3340
(subclass ProbabilityRelation InheritableRelation)	Merge.kif 2561-2561
(subclass PropositionalAttitude InheritableRelation)	Merge.kif 2692-2692
(subclass QuaternaryFunction InheritableRelation)	Merge.kif 3463-3463
(subclass QuaternaryPredicate InheritableRelation)	Merge.kif 3502-3502
(subclass QuaternaryRelation InheritableRelation)	Merge.kif 2860-2860
(subclass QuintaryPredicate InheritableRelation)	Merge.kif 3513-3513
(subclass QuintaryRelation InheritableRelation)	Merge.kif 2867-2867
(subclass RelationExtendedToQuantities InheritableRelation)	Merge.kif 3534-3534
(subclass SingleValuedRelation InheritableRelation)	Merge.kif 2173-2173
(subclass SpatialRelation InheritableRelation)	Merge.kif 2653-2653
(subclass TemporalRelation InheritableRelation)	Merge.kif 2660-2660
(subclass TernaryFunction InheritableRelation)	Merge.kif 3452-3452
(subclass TernaryPredicate InheritableRelation)	Merge.kif 3491-3491
(subclass TernaryRelation InheritableRelation)	Merge.kif 2853-2853
(subclass TotalValuedRelation InheritableRelation)	Merge.kif 2191-2191
(subclass UnaryFunction InheritableRelation)	Merge.kif 3360-3360
(termFormat ChineseLanguage InheritableRelation "可继承的关系")	domainEnglishFormat.kif 30119-30119

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

KB Term:			Term intersection

English Word: