Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Detergent(detergent)
|  | built, cleaner, cleanser, cleansing_agent, detergent, reinforced |
| appearance as argument number 1 |
|
|
| (subclass Detergent Surfactant) | Mid-level-ontology.kif 10198-10198 | Detergent is a subclass of surfactant |
| (subclass Detergent Mixture) | Mid-level-ontology.kif 10199-10199 | Detergent is a subclass of mixture |
| (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 10200-10213 | Detergent is a subclass of mixture |
| (roomTempState Detergent Liquid) | Mid-level-ontology.kif 33912-33912 | room temperature state detergent and liquid |
| (externalImage Detergent "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ FairyBottles.jpg") | pictureList.kif 4648-4648 | room temperature state detergent and liquid |
| appearance as argument number 2 |
|
|
| (industryProductType SoapAndOtherDetergentManufacturing Detergent) | Economy.kif 1983-1983 | Detergent is an industry product type of soap and other detergent manufacturing |
| (termFormat EnglishLanguage Detergent "detergent") | domainEnglishFormat.kif 19290-19290 | Detergent is an industry product type of soap and other detergent manufacturing |
| (termFormat ChineseTraditionalLanguage Detergent "洗滌劑") | domainEnglishFormat.kif 19291-19291 | Detergent is an industry product type of soap and other detergent manufacturing |
| (termFormat ChineseLanguage Detergent "洗涤剂") | domainEnglishFormat.kif 19292-19292 | Detergent is an industry product type of soap and other detergent manufacturing |
| 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 10215-10224 | If X is an instance of detergent, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of removing, Z is an instance of substance, Z is a patient of Y, Y originates at W, and W is a surface of V |
| consequent |
|
|
| (=> (instance ?P Washing) (exists (?D ?W) (and (instance ?D Detergent) (instrument ?P ?D) (instance ?W FreshWater) (instrument ?P ?W)))) |
Mid-level-ontology.kif 6698-6705 | If X is an instance of washing, then there exist Y, Z such that Y is an instance of detergent, Y is an instrument for X, Z is an instance of freshwater, and Z is an instrument for X |
|