InheritableRelation - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__InheritableRelation, s__ChineseLanguage, "这是一个 Relation 类别，它的特性可以是通过 subrelation Predicate 把特性在类别的层次结构承传下去。")	chinese_format.kif 1897-1898
s__documentation(s__InheritableRelation, s__EnglishLanguage, "The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate_")	Merge.kif 2596-2598
s__documentation(s__InheritableRelation, s__JapaneseLanguage, "Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる。")	japanese_format.kif 523-524
s__subclass(s__InheritableRelation, s__Relation)	Merge.kif 2594-2594	Inheritable relation is a subclass of relation

appearance as argument number 2

s__subclass(s__BinaryFunction, s__InheritableRelation)	Merge.kif 3440-3440	Binary function is a subclass of inheritable relation
s__subclass(s__BinaryPredicate, s__InheritableRelation)	Merge.kif 3520-3520	Binary predicate is a subclass of inheritable relation
s__subclass(s__BinaryRelation, s__InheritableRelation)	Merge.kif 2269-2269	Binary relation is a subclass of inheritable relation
s__subclass(s__CaseRole, s__InheritableRelation)	Merge.kif 2437-2437	Case role is a subclass of inheritable relation
s__subclass(s__Function, s__InheritableRelation)	Merge.kif 3391-3391	Function is a subclass of inheritable relation
s__subclass(s__IntentionalRelation, s__InheritableRelation)	Merge.kif 2706-2706	Intentional relation is a subclass of inheritable relation
s__subclass(s__ObjectAttitude, s__InheritableRelation)	Merge.kif 2745-2745	Object attitude is a subclass of inheritable relation
s__subclass(s__Predicate, s__InheritableRelation)	Merge.kif 3380-3380	Predicate is a subclass of inheritable relation
s__subclass(s__ProbabilityRelation, s__InheritableRelation)	Merge.kif 2601-2601	Probability relation is a subclass of inheritable relation
s__subclass(s__PropositionalAttitude, s__InheritableRelation)	Merge.kif 2732-2732	Propositional attitude is a subclass of inheritable relation
s__subclass(s__QuaternaryFunction, s__InheritableRelation)	Merge.kif 3503-3503	Quaternary function is a subclass of inheritable relation
s__subclass(s__QuaternaryPredicate, s__InheritableRelation)	Merge.kif 3542-3542	Quaternary predicate is a subclass of inheritable relation
s__subclass(s__QuaternaryRelation, s__InheritableRelation)	Merge.kif 2900-2900	Quaternary relation is a subclass of inheritable relation
s__subclass(s__QuintaryPredicate, s__InheritableRelation)	Merge.kif 3553-3553	Quintary predicate is a subclass of inheritable relation
s__subclass(s__QuintaryRelation, s__InheritableRelation)	Merge.kif 2907-2907	Quintary relation is a subclass of inheritable relation
s__subclass(s__RelationExtendedToQuantities, s__InheritableRelation)	Merge.kif 3574-3574	Relation extended to quantities is a subclass of inheritable relation
s__subclass(s__SingleValuedRelation, s__InheritableRelation)	Merge.kif 2213-2213	Single valued relation is a subclass of inheritable relation
s__subclass(s__SpatialRelation, s__InheritableRelation)	Merge.kif 2693-2693	Spatial relation is a subclass of inheritable relation
s__subclass(s__TemporalRelation, s__InheritableRelation)	Merge.kif 2700-2700	Temporal relation is a subclass of inheritable relation
s__subclass(s__TernaryFunction, s__InheritableRelation)	Merge.kif 3492-3492	Ternary function is a subclass of inheritable relation
s__subclass(s__TernaryPredicate, s__InheritableRelation)	Merge.kif 3531-3531	Ternary predicate is a subclass of inheritable relation
s__subclass(s__TernaryRelation, s__InheritableRelation)	Merge.kif 2893-2893	Ternary relation is a subclass of inheritable relation
s__subclass(s__TotalValuedRelation, s__InheritableRelation)	Merge.kif 2231-2231	Total valued relation is a subclass of inheritable relation
s__subclass(s__UnaryFunction, s__InheritableRelation)	Merge.kif 3400-3400	Unary function is a subclass of inheritable relation
s__termFormat(s__ChineseLanguage, s__InheritableRelation, "可继承的关系")	domainEnglishFormat.kif 30101-30101	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

! [V__PRED2 : $i,V__CLASS : $i,V__PRED1 : $i] : (((s__subrelation(V__PRED1, V__PRED2) & s__instance(V__PRED2, V__CLASS) & s__subclass(V__CLASS, s__InheritableRelation)) => s__instance(V__PRED1, V__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: