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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diplomaticRepresentationType

Sigma KEE - Ethanol
Ethanol

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31594-31594 roomTempState Ethanol and 液體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8636-8636 子類 Ethanol and
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8637-8637 子類 Ethanol and 降凝劑
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8638-8638 子類 Ethanol and Diuretic

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


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

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


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


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