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 9582-9583 | |
(subclass Oil CompoundSubstance) | Mid-level-ontology.kif 9581-9581 | Oil is a subclass of compound substance |
appearance as argument number 2 |
![]() |
(subclass AnimalFat Oil) | Food.kif 2871-2871 | Animal fat is a subclass of oil |
(subclass ButterFat Oil) | Food.kif 2930-2930 | Butter fat is a subclass of oil |
(subclass OilFromPlant Oil) | Economy.kif 4736-4736 | Oil from plant is a subclass of oil |
(subclass PetroleumProduct Oil) | Mid-level-ontology.kif 1743-1743 | Petroleum product is a subclass of oil |
(termFormat ChineseLanguage Oil "油") | domainEnglishFormat.kif 41965-41965 | Petroleum product is a subclass of oil |
(termFormat ChineseTraditionalLanguage Oil "油") | domainEnglishFormat.kif 41964-41964 | Petroleum product is a subclass of oil |
(termFormat EnglishLanguage Oil "oil") | domainEnglishFormat.kif 41963-41963 | 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 9585-9593 |
|
consequent |
![]() |
![]() |
![]() |