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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StateOfMind
StateOfMind(state of mind)Anglophilic, Anglophobic, absent, absently, absentminded, absentmindedly, absorbed, abstracted, abstractedly, aching, achy, adoring, advertent, agonising, agonizing, anti, apathetic, appreciate, approvingly, askance, assuredly, attentive, awed, aweless, awestricken, awestruck, awful, awless, barefacedly, beguiled, bewilderedly, bewitched, bored, bowed_down, burdened, captivated, captive, case, chafed, charmed, chilly, climate, clinical, cold, cold-blooded, cold-eyed, comfortably, con, confidently, confoundedly...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4034-4036
No TPTP formula. May not be expressible in strict first order. Merge.kif 18285-18288
No TPTP formula. May not be expressible in strict first order. Merge.kif 18284-18284 State of mind is a subclass of psychological attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18258-18258 Psychological attribute is exhaustively partitioned into state of mind and trait attribute
No TPTP formula. May not be expressible in strict first order. emotion.kif 79-79 Appraisal is a subclass of state of mind
No TPTP formula. May not be expressible in strict first order. Merge.kif 18294-18294 Consciousness attribute is a subclass of state of mind
No TPTP formula. May not be expressible in strict first order. Merge.kif 18290-18290 Emotional state is a subclass of state of mind
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1263-1263
No TPTP formula. May not be expressible in strict first order. english_format.kif 1747-1747
No TPTP formula. May not be expressible in strict first order. french_format.kif 941-941
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 477-477
No TPTP formula. May not be expressible in strict first order. terms-it.txt 480-480
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2625-2625
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 893-893
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 516-516
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 962-962
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 481-481

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13116-13124


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