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 18307-18310
No TPTP formula. May not be expressible in strict first order. Merge.kif 18306-18306 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 18280-18280 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 18316-18316 Consciousness attribute is a subclass of state of mind
No TPTP formula. May not be expressible in strict first order. Merge.kif 18312-18312 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 13138-13146


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