Oil(oil) | ![]() | lemon_grass, lemongrass, lemongrass_oil, mustard_oil, oil, wool_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 10015-10016 | |
(subclass Oil CompoundSubstance) | Mid-level-ontology.kif 10014-10014 | Oil is a subclass of compound substance |
appearance as argument number 2 |
![]() |
(subclass AnimalFat Oil) | Food.kif 2878-2878 | Animal fat is a subclass of oil |
(subclass ButterFat Oil) | Food.kif 2937-2937 | Butter fat is a subclass of oil |
(subclass OilFromPlant Oil) | Economy.kif 4864-4864 | Oil from plant is a subclass of oil |
(subclass PetroleumProduct Oil) | Mid-level-ontology.kif 2140-2140 | Petroleum product is a subclass of oil |
(termFormat ChineseLanguage Oil "油") | domainEnglishFormat.kif 41942-41942 | Petroleum product is a subclass of oil |
(termFormat ChineseTraditionalLanguage Oil "油") | domainEnglishFormat.kif 41941-41941 | Petroleum product is a subclass of oil |
(termFormat EnglishLanguage Oil "oil") | domainEnglishFormat.kif 41940-41940 | Petroleum product is a subclass of oil |
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 10018-10026 |
|
consequent |
![]() |
![]() |
![]() |