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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InheritableRelation

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 2501-2503
s__instance(s__InheritableRelation,s__Class)

s__subclass(s__InheritableRelation,s__Relation)

s__instance(s__Relation,s__Class)

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

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


s__instance(s__BinaryFunction,s__Class)

s__instance(s__InheritableRelation,s__Class)

s__subclass(s__BinaryFunction,s__InheritableRelation)

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

s__instance(s__InheritableRelation,s__Class)

s__subclass(s__BinaryPredicate,s__InheritableRelation)

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

s__instance(s__InheritableRelation,s__Class)

s__instance(s__BinaryRelation,s__Class)

Merge.kif 2180-2180 Binary relation is a subclass of inheritable relation
s__instance(s__InheritableRelation,s__Class)

s__instance(s__CaseRole,s__Class)

s__subclass(s__CaseRole,s__InheritableRelation)

Merge.kif 2342-2342 Case role is a subclass of inheritable relation
s__instance(s__InheritableRelation,s__Class)

s__subclass(s__Function,s__InheritableRelation)

s__instance(s__Function,s__Class)

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

s__instance(s__InheritableRelation,s__Class)

s__subclass(s__IntentionalRelation,s__InheritableRelation)

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

s__instance(s__ObjectAttitude,s__Class)

s__instance(s__InheritableRelation,s__Class)

Merge.kif 2650-2650 Object attitude is a subclass of inheritable relation
s__subclass(s__Predicate,s__InheritableRelation)

s__instance(s__InheritableRelation,s__Class)

s__instance(s__Predicate,s__Class)

Merge.kif 3264-3264 Predicate is a subclass of inheritable relation
s__instance(s__ProbabilityRelation,s__Class)

s__instance(s__InheritableRelation,s__Class)

s__subclass(s__ProbabilityRelation,s__InheritableRelation)

Merge.kif 2506-2506 Probability relation is a subclass of inheritable relation
s__instance(s__InheritableRelation,s__Class)

s__instance(s__PropositionalAttitude,s__Class)

s__subclass(s__PropositionalAttitude,s__InheritableRelation)

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

s__instance(s__InheritableRelation,s__Class)

s__subclass(s__QuaternaryFunction,s__InheritableRelation)

Merge.kif 3386-3386 Quaternary function is a subclass of inheritable relation
s__subclass(s__QuaternaryPredicate,s__InheritableRelation)

s__instance(s__InheritableRelation,s__Class)

s__instance(s__QuaternaryPredicate,s__Class)

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

s__instance(s__InheritableRelation,s__Class)

s__instance(s__QuaternaryRelation,s__Class)

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

s__instance(s__InheritableRelation,s__Class)

s__instance(s__QuintaryPredicate,s__Class)

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

s__instance(s__InheritableRelation,s__Class)

s__instance(s__QuintaryRelation,s__Class)

Merge.kif 2798-2798 Quintary relation is a subclass of inheritable relation
s__instance(s__InheritableRelation,s__Class)

s__subclass(s__RelationExtendedToQuantities,s__InheritableRelation)

s__instance(s__RelationExtendedToQuantities,s__Class)

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

s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__InheritableRelation,s__Class)

Merge.kif 2124-2124 Single valued relation is a subclass of inheritable relation
s__instance(s__InheritableRelation,s__Class)

s__instance(s__SpatialRelation,s__Class)

s__subclass(s__SpatialRelation,s__InheritableRelation)

Merge.kif 2598-2598 Spatial relation is a subclass of inheritable relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__InheritableRelation,s__Class)

s__subclass(s__TemporalRelation,s__InheritableRelation)

Merge.kif 2605-2605 Temporal relation is a subclass of inheritable relation
s__instance(s__InheritableRelation,s__Class)

s__subclass(s__TernaryFunction,s__InheritableRelation)

s__instance(s__TernaryFunction,s__Class)

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

s__instance(s__InheritableRelation,s__Class)

s__instance(s__TernaryPredicate,s__Class)

Merge.kif 3414-3414 Ternary predicate is a subclass of inheritable relation
s__instance(s__TernaryRelation,s__Class)

s__subclass(s__TernaryRelation,s__InheritableRelation)

s__instance(s__InheritableRelation,s__Class)

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

s__instance(s__InheritableRelation,s__Class)

s__subclass(s__TotalValuedRelation,s__InheritableRelation)

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

s__instance(s__InheritableRelation,s__Class)

s__subclass(s__UnaryFunction,s__InheritableRelation)

Merge.kif 3284-3284 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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