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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Surfactant

 Sigma KEE - Surfactant
Surfactant(表面活性劑)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8824-8829
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1503-1503
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31406-31406 roomTempState 表面活性劑 and 液體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8822-8822 子類 表面活性劑 and Substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8831-8831 子類 洗滌劑 and 表面活性劑
No TPTP formula. May not be expressible in strict first order. Economy.kif 5965-5965 子類 肥皂 and 表面活性劑
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56335-56335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56334-56334
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56333-56333


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