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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Alcohol

 Sigma KEE - Alcohol
Alcohol(醇)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8612-8613
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4487-4487
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31554-31554 roomTempState 醇 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8611-8611 醇 是 有机化合物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8636-8636 Ethanol 是 醇 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8615-8615 Methanol 是 醇 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6420-6420
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6419-6419
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6418-6418

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


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


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