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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Detergent
Detergent(detergent)
built, cleaner, cleanser, cleansing_agent, detergent, reinforced

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8833-8846
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4649-4649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31407-31407 roomTempState detergent and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8832-8832 Detergent is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8831-8831 Detergent is a subclass of surfactant

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1863-1863 Detergent is an industry product type of soap and other detergent manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19290-19290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19289-19289
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19288-19288

antecedent
-------------------------


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

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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