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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - exhaustiveAttribute
exhaustiveAttribute

appearance as argument number 1
-------------------------


s__documentation(s__exhaustiveAttribute__m,s__ChineseLanguage,'"这个术语把一个 Class 联系到一组 Attribute, 就是说这个组的单元已经是这个 Class 所有的实例。举例说: (exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) 的意思是 PhysicalState 这个类别就 只有 SolidFluidLiquidGasPlasma 这五个实例了。"')

chinese_format.kif 1507-1510
s__documentation(s__exhaustiveAttribute__m,s__EnglishLanguage,'"This predicate relates a Class to a set of Attributes, and it means that the elements of this set exhaust the instances of the Class. For example, (exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) means that there are only five instances of the class PhysicalState, viz. Solid, Fluid, Liquid, Gas and Plasma."')

Merge.kif 492-496
s__domain(s__exhaustiveAttribute__m,n__2,s__Attribute)

Merge.kif 490-490 The number 2 argument of exhaustive attribute is an instance of attribute
s__domainSubclass(s__exhaustiveAttribute__m,n__1,s__Attribute)

Merge.kif 489-489 The number 1 argument of exhaustive attribute is a subclass of attribute
s__instance(s__exhaustiveAttribute__m,s__Predicate)

s__instance(s__Predicate,s__SetOrClass)

Merge.kif 487-487 exhaustive attribute is an instance of predicate
s__instance(s__VariableArityRelation,s__SetOrClass)

s__instance(s__exhaustiveAttribute__m,s__VariableArityRelation)

Merge.kif 488-488 exhaustive attribute is an instance of variable arity relation

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


s__format(s__ChineseLanguage,s__exhaustiveAttribute__m,'"%2 是所有的 %1 的 attributes "')

domainEnglishFormat.kif 3347-3347
s__format(s__ChineseTraditionalLanguage,s__exhaustiveAttribute__m,'"%2 是所有的 %1 的 attributes "')

domainEnglishFormat.kif 3346-3346
s__format(s__EnglishLanguage,s__exhaustiveAttribute__m,'"%2 are all the attributes of %1"')

domainEnglishFormat.kif 3345-3345
s__termFormat(s__ChineseLanguage,s__exhaustiveAttribute__m,'"详尽的属性"')

domainEnglishFormat.kif 22761-22761
s__termFormat(s__ChineseTraditionalLanguage,s__exhaustiveAttribute__m,'"詳盡的屬性"')

domainEnglishFormat.kif 22760-22760
s__termFormat(s__EnglishLanguage,s__exhaustiveAttribute__m,'"exhaustive attribute"')

domainEnglishFormat.kif 22759-22759

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


( ! [V__ROW5,V__ROW3,V__ATTR,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__exhaustiveAttribute__5(V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
           &
           s__inList(V__ATTR,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)))
     =>
     (s__instance(V__ATTR,V__CLASS)))))
)
)

( ! [V__ATTR,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__exhaustiveAttribute__2(V__CLASS,V__ROW2)
           &
           s__inList(V__ATTR,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__instance(V__ATTR,V__CLASS)))))
)
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ATTR,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW7,s__Attribute) &
         s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__exhaustiveAttribute__7(V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
           &
           s__inList(V__ATTR,s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)))
     =>
     (s__instance(V__ATTR,V__CLASS)))))
)
)

( ! [V__ROW5,V__ROW6,V__ROW3,V__ATTR,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__exhaustiveAttribute__6(V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
           &
           s__inList(V__ATTR,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)))
     =>
     (s__instance(V__ATTR,V__CLASS)))))
)
)

( ! [V__ROW3,V__ATTR,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__exhaustiveAttribute__4(V__CLASS,V__ROW2,V__ROW3,V__ROW4)
           &
           s__inList(V__ATTR,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)))
     =>
     (s__instance(V__ATTR,V__CLASS)))))
)
)

( ! [V__ROW3,V__ATTR,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__exhaustiveAttribute__3(V__CLASS,V__ROW2,V__ROW3)
           &
           s__inList(V__ATTR,s__ListFn__2Fn(V__ROW2,V__ROW3)))
     =>
     (s__instance(V__ATTR,V__CLASS)))))
)
)

Merge.kif 504-508
( ! [V__ROW5,V__ROW6,V__ROW3,V__ATTR,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute))
       =>
       (((s__exhaustiveAttribute__6(V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
           &
           s__inList(V__ATTR,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)))
     =>
     (s__instance(V__ATTR,s__Attribute)))))
)
)

( ! [V__ROW5,V__ROW3,V__ATTR,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute))
       =>
       (((s__exhaustiveAttribute__5(V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
           &
           s__inList(V__ATTR,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)))
     =>
     (s__instance(V__ATTR,s__Attribute)))))
)
)

( ! [V__ATTR,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute))
       =>
       (((s__exhaustiveAttribute__2(V__CLASS,V__ROW2)
           &
           s__inList(V__ATTR,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__instance(V__ATTR,s__Attribute)))))
)
)

( ! [V__ROW3,V__ATTR,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute))
       =>
       (((s__exhaustiveAttribute__4(V__CLASS,V__ROW2,V__ROW3,V__ROW4)
           &
           s__inList(V__ATTR,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)))
     =>
     (s__instance(V__ATTR,s__Attribute)))))
)
)

( ! [V__ROW3,V__ATTR,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute))
       =>
       (((s__exhaustiveAttribute__3(V__CLASS,V__ROW2,V__ROW3)
           &
           s__inList(V__ATTR,s__ListFn__2Fn(V__ROW2,V__ROW3)))
     =>
     (s__instance(V__ATTR,s__Attribute)))))
)
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ATTR,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW7,s__Attribute) &
         s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute))
       =>
       (((s__exhaustiveAttribute__7(V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
           &
           s__inList(V__ATTR,s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)))
     =>
     (s__instance(V__ATTR,s__Attribute)))))
)
)

Merge.kif 498-502
( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__ATTRCLASS] :
   (((s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__ATTRCLASS,s__Attribute) &
         s__instance(V__ATTRCLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__6(V__ATTRCLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
         =>
         (~(( ? [V__EL] :
               ((s__instance(V__EL,V__ATTRCLASS)
                 &
                 ~(( ? [V__ATTR, V__NUMBER] :
                     ((s__instance(V__NUMBER,s__PositiveInteger) &
                         ((V__EL = V__ATTR)
                           &
                           (V__ATTR = s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
                          ,V__NUMBER)))))))))))))))
)
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__ATTRCLASS] :
   (((s__instance(V__ROW7,s__Attribute) &
         s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__ATTRCLASS,s__Attribute) &
         s__instance(V__ATTRCLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__7(V__ATTRCLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
         =>
         (~(( ? [V__EL] :
               ((s__instance(V__EL,V__ATTRCLASS)
                 &
                 ~(( ? [V__ATTR, V__NUMBER] :
                     ((s__instance(V__NUMBER,s__PositiveInteger) &
                         ((V__EL = V__ATTR)
                           &
                           (V__ATTR = s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
                          ,V__NUMBER)))))))))))))))
)
)

( ! [V__ROW3,V__ROW2,V__ATTRCLASS] :
   (((s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__ATTRCLASS,s__Attribute) &
         s__instance(V__ATTRCLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__3(V__ATTRCLASS,V__ROW2,V__ROW3)
         =>
         (~(( ? [V__EL] :
               ((s__instance(V__EL,V__ATTRCLASS)
                 &
                 ~(( ? [V__ATTR, V__NUMBER] :
                     ((s__instance(V__NUMBER,s__PositiveInteger) &
                         ((V__EL = V__ATTR)
                           &
                           (V__ATTR = s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
                          ,V__NUMBER)))))))))))))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__ATTRCLASS] :
   (((s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__ATTRCLASS,s__Attribute) &
         s__instance(V__ATTRCLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__4(V__ATTRCLASS,V__ROW2,V__ROW3,V__ROW4)
         =>
         (~(( ? [V__EL] :
               ((s__instance(V__EL,V__ATTRCLASS)
                 &
                 ~(( ? [V__ATTR, V__NUMBER] :
                     ((s__instance(V__NUMBER,s__PositiveInteger) &
                         ((V__EL = V__ATTR)
                           &
                           (V__ATTR = s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
                          ,V__NUMBER)))))))))))))))
)
)

( ! [V__ROW2,V__ATTRCLASS] :
   (((s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__ATTRCLASS,s__Attribute) &
         s__instance(V__ATTRCLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__2(V__ATTRCLASS,V__ROW2)
         =>
         (~(( ? [V__EL] :
               ((s__instance(V__EL,V__ATTRCLASS)
                 &
                 ~(( ? [V__ATTR, V__NUMBER] :
                     ((s__instance(V__NUMBER,s__PositiveInteger) &
                         ((V__EL = V__ATTR)
                           &
                           (V__ATTR = s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
                          ,V__NUMBER)))))))))))))))
)
)

( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__ATTRCLASS] :
   (((s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__ATTRCLASS,s__Attribute) &
         s__instance(V__ATTRCLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__5(V__ATTRCLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
         =>
         (~(( ? [V__EL] :
               ((s__instance(V__EL,V__ATTRCLASS)
                 &
                 ~(( ? [V__ATTR, V__NUMBER] :
                     ((s__instance(V__NUMBER,s__PositiveInteger) &
                         ((V__EL = V__ATTR)
                           &
                           (V__ATTR = s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
                          ,V__NUMBER)))))))))))))))
)
)

Merge.kif 520-532
( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__5(V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
         =>
         (( ! [V__ATTR1] :
             ((s__instance(V__ATTR1,V__CLASS)
               =>
               (( ? [V__ATTR2] :
                   ((s__inList(V__ATTR2,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
                   &
                   (V__ATTR1 = V__ATTR2))))))))))))
)
)

( ! [V__ROW3,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__3(V__CLASS,V__ROW2,V__ROW3)
         =>
         (( ! [V__ATTR1] :
             ((s__instance(V__ATTR1,V__CLASS)
               =>
               (( ? [V__ATTR2] :
                   ((s__inList(V__ATTR2,s__ListFn__2Fn(V__ROW2,V__ROW3))
                   &
                   (V__ATTR1 = V__ATTR2))))))))))))
)
)

( ! [V__ROW3,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__4(V__CLASS,V__ROW2,V__ROW3,V__ROW4)
         =>
         (( ! [V__ATTR1] :
             ((s__instance(V__ATTR1,V__CLASS)
               =>
               (( ? [V__ATTR2] :
                   ((s__inList(V__ATTR2,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
                   &
                   (V__ATTR1 = V__ATTR2))))))))))))
)
)

( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW7,s__Attribute) &
         s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__7(V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
         =>
         (( ! [V__ATTR1] :
             ((s__instance(V__ATTR1,V__CLASS)
               =>
               (( ? [V__ATTR2] :
                   ((s__inList(V__ATTR2,s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
                   &
                   (V__ATTR1 = V__ATTR2))))))))))))
)
)

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__CLASS] :
   (((s__instance(V__ROW5,s__Attribute) &
         s__instance(V__ROW6,s__Attribute) &
         s__instance(V__ROW3,s__Attribute) &
         s__instance(V__ROW4,s__Attribute) &
         s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__6(V__CLASS,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
         =>
         (( ! [V__ATTR1] :
             ((s__instance(V__ATTR1,V__CLASS)
               =>
               (( ? [V__ATTR2] :
                   ((s__inList(V__ATTR2,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
                   &
                   (V__ATTR1 = V__ATTR2))))))))))))
)
)

( ! [V__ROW2,V__CLASS] :
   (((s__instance(V__ROW2,s__Attribute) &
         s__subclass(V__CLASS,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       ((s__exhaustiveAttribute__2(V__CLASS,V__ROW2)
         =>
         (( ! [V__ATTR1] :
             ((s__instance(V__ATTR1,V__CLASS)
               =>
               (( ? [V__ATTR2] :
                   ((s__inList(V__ATTR2,s__ListFn__1Fn(V__ROW2))
                   &
                   (V__ATTR1 = V__ATTR2))))))))))))
)
)

Merge.kif 510-518

appearance as argument number 0
-------------------------


s__exhaustiveAttribute__3(s__AnimacyAttribute,s__Living,s__Dead)

Merge.kif 17257-17257 Living are all the attributes of animacy attribute
s__exhaustiveAttribute__3(s__AppraisalOfAvoidabilityOfConsequences,s__AppraisalAsAvoidableConsequences,s__AppraisalAsUnavoidableConsequences)

emotion.kif 285-286 Appraisal as avoidable consequences are all the attributes of appraisal of avoidability of consequences
s__exhaustiveAttribute__5(s__AppraisalOfCausalAgency,s__AppraisalAsCausedSupernaturally,s__AppraisalAsCausedBySelf,s__AppraisalAsCausedByChance,s__AppraisalAsCausedByAnother)

emotion.kif 596-598 Appraisal as caused supernaturally are all the attributes of appraisal of causal agency
s__exhaustiveAttribute__3(s__AppraisalOfCausalIntent,s__AppraisalAsUnintended,s__AppraisalAsDeliberate)

emotion.kif 671-672 Appraisal as unintended are all the attributes of appraisal of causal intent
s__exhaustiveAttribute__3(s__AppraisalOfCongruenceWithIdeals,s__AppraisalAsCongruentWithIdeals,s__AppraisalAsNotCongruentWithIdeals)

emotion.kif 461-462 Appraisal as congruent with ideals are all the attributes of appraisal of congruence with ideals
s__exhaustiveAttribute__3(s__AppraisalOfDangerousness,s__AppraisalAsNotDangerous,s__AppraisalAsDangerous)

emotion.kif 552-553 Appraisal as not dangerous are all the attributes of appraisal of dangerousness
s__exhaustiveAttribute__3(s__AppraisalOfDesirabilityOfConsequences,s__AppraisalAsDesirableConsequences,s__AppraisalAsUndesirableConsequences)

emotion.kif 397-398 Appraisal as desirable consequences are all the attributes of appraisal of desirability of consequences
s__exhaustiveAttribute__3(s__AppraisalOfExpectedness,s__AppraisalAsExpected,s__AppraisalAsNotExpected)

emotion.kif 529-530 Appraisal as expected are all the attributes of appraisal of expectedness
s__exhaustiveAttribute__3(s__AppraisalOfFamiliarity,s__AppraisalAsFamiliar,s__AppraisalAsNotFamiliar)

emotion.kif 314-315 Appraisal as familiar are all the attributes of appraisal of familiarity
s__exhaustiveAttribute__3(s__AppraisalOfGoalImportance,s__EvaluationAsImportantToGoals,s__EvaluationAsNotImportantToGoals)

emotion.kif 213-214 Evaluation as important to goals are all the attributes of appraisal of goal importance
s__exhaustiveAttribute__3(s__AppraisalOfJusticeOfTreatment,s__AppraisalAsUnjustTreatment,s__AppraisalAsJustTreatment)

emotion.kif 337-338 Appraisal as unjust treatment are all the attributes of appraisal of justice of treatment
s__exhaustiveAttribute__3(s__AppraisalOfPleasantness,s__AppraisalAsPleasant,s__AppraisalAsUnpleasant)

emotion.kif 495-496 Appraisal as pleasant are all the attributes of appraisal of pleasantness
s__exhaustiveAttribute__3(s__AppraisalOfPredictability,s__AppraisalAsPredictable,s__AppraisalAsNotPredictable)

emotion.kif 240-241 Appraisal as predictable are all the attributes of appraisal of predictability
s__exhaustiveAttribute__3(s__AppraisalOfSocialAttention,s__AppraisalAsBeingAtTheCentreOfAttention,s__AppraisalAsNotBeingAtTheCentreOfAttention)

emotion.kif 640-642 Appraisal as being at the centre of attention are all the attributes of appraisal of social attention
s__exhaustiveAttribute__3(s__AppraisalOfSuddenness,s__AppraisalAsSudden,s__AppraisalAsNotSudden)

emotion.kif 575-576 Appraisal as sudden are all the attributes of appraisal of suddenness
s__exhaustiveAttribute__3(s__AppraisalOfUrgency,s__AppraisalAsNotUrgentResponse,s__AppraisalAsUrgentResponse)

emotion.kif 427-428 Appraisal as not urgent response are all the attributes of appraisal of urgency of response
s__exhaustiveAttribute__3(s__DevelopmentalAttribute,s__FullyFormed,s__NonFullyFormed)

Merge.kif 17311-17311 Fully formed are all the attributes of developmental attribute
s__exhaustiveAttribute__3(s__LiquidityAttribute,s__HighLiquidity,s__LowLiquidity)

FinancialOntology.kif 1780-1780 High liquidity are all the attributes of liquidity attribute
s__exhaustiveAttribute__6(s__PhysicalState,s__Solid,s__Fluid,s__Liquid,s__Gas,s__Plasma)

Merge.kif 16734-16734 Solid are all the attributes of physical state
s__exhaustiveAttribute__3(s__RiskAttribute,s__HighRisk,s__LowRisk)

FinancialOntology.kif 1800-1800 High risk are all the attributes of risk attribute
s__exhaustiveAttribute__3(s__SexAttribute,s__Female,s__Male)

Merge.kif 17284-17284 Female are all the attributes of sex attribute
s__exhaustiveAttribute__4(s__VolcanoStatus,s__VolcanicallyActive,s__VolcanicallyDormant,s__VolcanicallyExtinct)

Geography.kif 3907-3907 Volcanically active are all the attributes of volcano status
s__exhaustiveAttribute__3(s__YieldAttribute,s__HighYield,s__LowYield)

FinancialOntology.kif 1818-1818 High yield are all the attributes of yield attribute


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