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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InheritableRelation
InheritableRelation(inheritable relation)

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 2468-2470
s__instance(s__Relation,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__InheritableRelation,s__Relation)

Merge.kif 2466-2466 Inheritable relation is a subclass of relation

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


s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__BinaryFunction,s__InheritableRelation)

Merge.kif 3290-3290 Binary function is a subclass of inheritable relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__BinaryPredicate,s__InheritableRelation)

Merge.kif 3369-3369 Binary predicate is a subclass of inheritable relation
s__subclass(s__BinaryRelation,s__InheritableRelation)

s__instance(s__BinaryRelation,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

Merge.kif 2147-2147 Binary relation is a subclass of inheritable relation
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__CaseRole,s__InheritableRelation)

Merge.kif 2309-2309 Case role is a subclass of inheritable relation
s__instance(s__Function,s__SetOrClass)

s__subclass(s__Function,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

Merge.kif 3242-3242 Function is a subclass of inheritable relation
s__instance(s__IntentionalRelation,s__SetOrClass)

s__subclass(s__IntentionalRelation,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

Merge.kif 2578-2578 Intentional relation is a subclass of inheritable relation
s__subclass(s__ObjectAttitude,s__InheritableRelation)

s__instance(s__ObjectAttitude,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

Merge.kif 2617-2617 Object attitude is a subclass of inheritable relation
s__instance(s__Predicate,s__SetOrClass)

s__subclass(s__Predicate,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

Merge.kif 3231-3231 Predicate is a subclass of inheritable relation
s__subclass(s__ProbabilityRelation,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

s__instance(s__ProbabilityRelation,s__SetOrClass)

Merge.kif 2473-2473 Probability relation is a subclass of inheritable relation
s__instance(s__PropositionalAttitude,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__PropositionalAttitude,s__InheritableRelation)

Merge.kif 2604-2604 Propositional attitude is a subclass of inheritable relation
s__instance(s__QuaternaryFunction,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__QuaternaryFunction,s__InheritableRelation)

Merge.kif 3352-3352 Quaternary function is a subclass of inheritable relation
s__instance(s__QuaternaryPredicate,s__SetOrClass)

s__subclass(s__QuaternaryPredicate,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

Merge.kif 3391-3391 Quaternary predicate is a subclass of inheritable relation
s__subclass(s__QuaternaryRelation,s__InheritableRelation)

s__instance(s__QuaternaryRelation,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

Merge.kif 2758-2758 Quaternary relation is a subclass of inheritable relation
s__subclass(s__QuintaryPredicate,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

s__instance(s__QuintaryPredicate,s__SetOrClass)

Merge.kif 3402-3402 Quintary predicate is a subclass of inheritable relation
s__subclass(s__QuintaryRelation,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

s__instance(s__QuintaryRelation,s__SetOrClass)

Merge.kif 2765-2765 Quintary relation is a subclass of inheritable relation
s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__RelationExtendedToQuantities,s__InheritableRelation)

Merge.kif 3423-3423 Relation extended to quantities is a subclass of inheritable relation
s__subclass(s__SingleValuedRelation,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

s__instance(s__SingleValuedRelation,s__SetOrClass)

Merge.kif 2091-2091 Single valued relation is a subclass of inheritable relation
s__instance(s__SpatialRelation,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__SpatialRelation,s__InheritableRelation)

Merge.kif 2565-2565 Spatial relation is a subclass of inheritable relation
s__instance(s__InheritableRelation,s__SetOrClass)

s__instance(s__TemporalRelation,s__SetOrClass)

s__subclass(s__TemporalRelation,s__InheritableRelation)

Merge.kif 2572-2572 Temporal relation is a subclass of inheritable relation
s__subclass(s__TernaryFunction,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

s__instance(s__TernaryFunction,s__SetOrClass)

Merge.kif 3341-3341 Ternary function is a subclass of inheritable relation
s__subclass(s__TernaryPredicate,s__InheritableRelation)

s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

Merge.kif 3380-3380 Ternary predicate is a subclass of inheritable relation
s__subclass(s__TernaryRelation,s__InheritableRelation)

s__instance(s__TernaryRelation,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

Merge.kif 2751-2751 Ternary relation is a subclass of inheritable relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__TotalValuedRelation,s__InheritableRelation)

Merge.kif 2109-2109 Total valued relation is a subclass of inheritable relation
s__instance(s__UnaryFunction,s__SetOrClass)

s__subclass(s__UnaryFunction,s__InheritableRelation)

s__instance(s__InheritableRelation,s__SetOrClass)

Merge.kif 3251-3251 Unary function is a subclass of inheritable relation
s__termFormat(s__ChineseLanguage,s__InheritableRelation,'"可继承的关系"')

domainEnglishFormat.kif 30078-30078

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


( ! [V__PRED2,V__CLASS,V__PRED1] :
   (((s__instance(V__PRED2,s__Relation) &
         s__instance(V__CLASS,s__Class) &
         s__instance(V__PRED1,s__Relation))
       =>
       (((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 198-203


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