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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Surfactant

 Sigma KEE - Surfactant
Surfactant(surfactant)
surface-active_agent, surfactant, wetter, wetting_agent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8823-8828
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 31402-31402 roomTempState surfactant and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8821-8821 Surfactant is a subclass of substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8830-8830 Detergent is a subclass of surfactant
No TPTP formula. May not be expressible in strict first order. Economy.kif 5965-5965 Soap is a subclass of surfactant
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