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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Blushing

 Sigma KEE - Blushing
Blushing(脸红)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21471-21472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21470-21470 脸红 是 自主过程 的 subclass
No TPTP formula. May not be expressible in strict first order. emotion.kif 1695-1695 脸红 是 PhysiologicalResponseToEmotionalState 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11417-11417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11416-11416
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11415-11415

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21474-21489


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