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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1507-1510
No TPTP formula. May not be expressible in strict first order. Merge.kif 491-495
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 71-75
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 82-86
No TPTP formula. May not be expressible in strict first order. Merge.kif 489-489 The number 2 argument of exhaustive attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 488-488 The number 1 argument of exhaustive attribute is a subclass of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 486-486 exhaustive attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 487-487 exhaustive attribute is an instance of variable arity relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3342-3342
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3341-3341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3340-3340
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22768-22768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22767-22767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22766-22766

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 503-507
No TPTP formula. May not be expressible in strict first order. Merge.kif 497-501
No TPTP formula. May not be expressible in strict first order. Merge.kif 519-531
No TPTP formula. May not be expressible in strict first order. Merge.kif 509-517

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18078-18078 Living are all the attributes of animacy attribute
No TPTP formula. May not be expressible in strict first order. emotion.kif 285-286 Appraisal as avoidable consequences are all the attributes of appraisal of avoidability of consequences
No TPTP formula. May not be expressible in strict first order. emotion.kif 596-598 Appraisal as caused supernaturally are all the attributes of appraisal of causal agency
No TPTP formula. May not be expressible in strict first order. emotion.kif 671-672 Appraisal as unintended are all the attributes of appraisal of causal intent
No TPTP formula. May not be expressible in strict first order. emotion.kif 461-462 Appraisal as congruent with ideals are all the attributes of appraisal of congruence with ideals
No TPTP formula. May not be expressible in strict first order. emotion.kif 552-553 Appraisal as not dangerous are all the attributes of appraisal of dangerousness
No TPTP formula. May not be expressible in strict first order. emotion.kif 397-398 Appraisal as desirable consequences are all the attributes of appraisal of desirability of consequences
No TPTP formula. May not be expressible in strict first order. emotion.kif 529-530 Appraisal as expected are all the attributes of appraisal of expectedness
No TPTP formula. May not be expressible in strict first order. emotion.kif 314-315 Appraisal as familiar are all the attributes of appraisal of familiarity
No TPTP formula. May not be expressible in strict first order. emotion.kif 213-214 Evaluation as important to goals are all the attributes of appraisal of goal importance
No TPTP formula. May not be expressible in strict first order. emotion.kif 337-338 Appraisal as unjust treatment are all the attributes of appraisal of justice of treatment
No TPTP formula. May not be expressible in strict first order. emotion.kif 495-496 Appraisal as pleasant are all the attributes of appraisal of pleasantness
No TPTP formula. May not be expressible in strict first order. emotion.kif 240-241 Appraisal as predictable are all the attributes of appraisal of predictability
No TPTP formula. May not be expressible in strict first order. emotion.kif 640-642 Appraisal as being at the centre of attention are all the attributes of appraisal of social attention
No TPTP formula. May not be expressible in strict first order. emotion.kif 575-576 Appraisal as sudden are all the attributes of appraisal of suddenness
No TPTP formula. May not be expressible in strict first order. emotion.kif 427-428 Appraisal as not urgent response are all the attributes of appraisal of urgency of response
No TPTP formula. May not be expressible in strict first order. Merge.kif 18136-18136 Fully formed are all the attributes of developmental attribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1831-1831 High liquidity are all the attributes of liquidity attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17543-17543 Solid are all the attributes of physical state
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1851-1851 High risk are all the attributes of risk attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18105-18105 Female are all the attributes of sex attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 4069-4069 Volcanically active are all the attributes of volcano status
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1869-1869 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