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

appearance as argument number 2

(subclass BinaryFunction InheritableRelation)	Merge.kif 3395-3395	Binary function is a subclass of inheritable relation
(subclass BinaryPredicate InheritableRelation)	Merge.kif 3475-3475	Binary predicate is a subclass of inheritable relation
(subclass BinaryRelation InheritableRelation)	Merge.kif 2227-2227	Binary relation is a subclass of inheritable relation
(subclass CaseRole InheritableRelation)	Merge.kif 2395-2395	Case role is a subclass of inheritable relation
(subclass Function InheritableRelation)	Merge.kif 3346-3346	Function is a subclass of inheritable relation
(subclass IntentionalRelation InheritableRelation)	Merge.kif 2664-2664	Intentional relation is a subclass of inheritable relation
(subclass ObjectAttitude InheritableRelation)	Merge.kif 2703-2703	Object attitude is a subclass of inheritable relation
(subclass Predicate InheritableRelation)	Merge.kif 3335-3335	Predicate is a subclass of inheritable relation
(subclass ProbabilityRelation InheritableRelation)	Merge.kif 2559-2559	Probability relation is a subclass of inheritable relation
(subclass PropositionalAttitude InheritableRelation)	Merge.kif 2690-2690	Propositional attitude is a subclass of inheritable relation
(subclass QuaternaryFunction InheritableRelation)	Merge.kif 3458-3458	Quaternary function is a subclass of inheritable relation
(subclass QuaternaryPredicate InheritableRelation)	Merge.kif 3497-3497	Quaternary predicate is a subclass of inheritable relation
(subclass QuaternaryRelation InheritableRelation)	Merge.kif 2857-2857	Quaternary relation is a subclass of inheritable relation
(subclass QuintaryPredicate InheritableRelation)	Merge.kif 3508-3508	Quintary predicate is a subclass of inheritable relation
(subclass QuintaryRelation InheritableRelation)	Merge.kif 2864-2864	Quintary relation is a subclass of inheritable relation
(subclass RelationExtendedToQuantities InheritableRelation)	Merge.kif 3529-3529	Relation extended to quantities is a subclass of inheritable relation
(subclass SingleValuedRelation InheritableRelation)	Merge.kif 2171-2171	Single valued relation is a subclass of inheritable relation
(subclass SpatialRelation InheritableRelation)	Merge.kif 2651-2651	Spatial relation is a subclass of inheritable relation
(subclass TemporalRelation InheritableRelation)	Merge.kif 2658-2658	Temporal relation is a subclass of inheritable relation
(subclass TernaryFunction InheritableRelation)	Merge.kif 3447-3447	Ternary function is a subclass of inheritable relation
(subclass TernaryPredicate InheritableRelation)	Merge.kif 3486-3486	Ternary predicate is a subclass of inheritable relation
(subclass TernaryRelation InheritableRelation)	Merge.kif 2850-2850	Ternary relation is a subclass of inheritable relation
(subclass TotalValuedRelation InheritableRelation)	Merge.kif 2189-2189	Total valued relation is a subclass of inheritable relation
(subclass UnaryFunction InheritableRelation)	Merge.kif 3355-3355	Unary function is a subclass of inheritable relation
(termFormat ChineseLanguage InheritableRelation "可继承的关系")	domainEnglishFormat.kif 30119-30119	Unary function is a subclass of inheritable relation

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

If a relation is a subrelation of another relation and the other relation is an instance of a class and the class is a subclass of inheritable relation,
then the relation is an instance of the class

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: