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 8851-8856
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 31438-31438 roomTempState surfactant and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8849-8849 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 8858-8858 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 56337-56337
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56336-56336
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56335-56335


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