Oil
|
|
appearance as argument number 1 |
(documentation Oil EnglishLanguage "A greasy, viscous CompoundSubstance that cannot be mixed with Water. Note that this general class covers petroleum oil, vegetable oil, animal fat, etc.") | Mid-level-ontology.kif 8836-8837 | |
(subclass Oil CompoundSubstance) | Mid-level-ontology.kif 8835-8835 | 油 是 复合物质 的 subclass |
appearance as argument number 2 |
(subclass AnimalFat Oil) | Food.kif 2871-2871 | AnimalFat 是 油 的 subclass |
(subclass ButterFat Oil) | Food.kif 2930-2930 | ButterFat 是 油 的 subclass |
(subclass OilFromPlant Oil) | Economy.kif 4526-4526 | OilFromPlant 是 油 的 subclass |
(subclass PetroleumProduct Oil) | Mid-level-ontology.kif 1670-1670 | 石油产品 是 油 的 subclass |
(termFormat ChineseLanguage Oil "油") | domainEnglishFormat.kif 41936-41936 | |
(termFormat ChineseTraditionalLanguage Oil "油") | domainEnglishFormat.kif 41935-41935 | |
(termFormat EnglishLanguage Oil "oil") | domainEnglishFormat.kif 41934-41934 |
antecedent |
(=> (instance ?OIL Oil) (not (exists (?MIX ?WATER) (and (instance ?MIX Mixture) (part ?WATER ?MIX) (instance ?WATER FreshWater) (part ?OIL ?MIX))))) |
Mid-level-ontology.kif 8839-8847 |
consequent |