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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Detergent
Detergent

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


(documentation Detergent EnglishLanguage "A detergent is a compound, or a mixture of compounds, whose molecules have two distinct regions: one that is hydrophilic, and dissolves easily in water, and another region that is hydrophobic, with little (if any) affinity for water. As a consequence, these compounds can aid in the solubilization of hydrophobic compounds in water, and usually are optimized for this property. Though Soap also has these properties, soaps in general are not considered detergents. Soap is a particular type of surfactant that is derived from oils and fats. They are created through the saponification process whereby the ester linkage in a vegetable oil or fat is hydrolytically cleaved, creating a sodium or potassium salt of a fatty acid (i.e. soap). Both detergents and soaps are considered to be surfactants. Surfactants that are not soaps are considered to be detergents. Detergents are also commonly known as any cleaning mixture containing surfactants. (from Wikipedia)") Mid-level-ontology.kif 8833-8846
(externalImage Detergent "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ FairyBottles.jpg") pictureList.kif 4649-4649
(roomTempState Detergent Liquid) Mid-level-ontology.kif 31407-31407 roomTempState Detergent and Liquid
(subclass Detergent Mixture) Mid-level-ontology.kif 8832-8832 Detergent混合物subclass では %n
(subclass Detergent Surfactant) Mid-level-ontology.kif 8831-8831 DetergentSurfactantsubclass では %n

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


(industryProductType SoapAndOtherDetergentManufacturing Detergent) Economy.kif 1863-1863 industryProductType SoapAndOtherDetergentManufacturing and Detergent
(termFormat ChineseLanguage Detergent "洗涤剂") domainEnglishFormat.kif 19290-19290
(termFormat ChineseTraditionalLanguage Detergent "洗滌劑") domainEnglishFormat.kif 19289-19289
(termFormat EnglishLanguage Detergent "detergent") domainEnglishFormat.kif 19288-19288

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


(=>
    (instance ?DETERGENT Detergent)
    (hasPurpose ?DETERGENT
        (exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
            (and
                (instance ?REMOVE Removing)
                (instance ?SUBSTANCE Substance)
                (patient ?REMOVE ?SUBSTANCE)
                (origin ?REMOVE ?SURFACE)
                (surface ?SURFACE ?OBJECT)))))
Mid-level-ontology.kif 8848-8857

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


(=>
    (instance ?P Washing)
    (exists (?D ?W)
        (and
            (instance ?D Detergent)
            (instrument ?P ?D)
            (instance ?W FreshWater)
            (instrument ?P ?W))))
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