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 は 合成物質 の subclass では |
appearance as argument number 2 |
![]() |
(subclass AnimalFat Oil) | Food.kif 2878-2878 | AnimalFat は Oil の subclass では |
(subclass ButterFat Oil) | Food.kif 2937-2937 | ButterFat は Oil の subclass では |
(subclass OilFromPlant Oil) | Economy.kif 4864-4864 | OilFromPlant は Oil の subclass では |
(subclass PetroleumProduct Oil) | Mid-level-ontology.kif 2140-2140 | PetroleumProduct は Oil の subclass では |
(termFormat ChineseLanguage Oil "油") | domainEnglishFormat.kif 41942-41942 | PetroleumProduct は Oil の subclass では |
(termFormat ChineseTraditionalLanguage Oil "油") | domainEnglishFormat.kif 41941-41941 | PetroleumProduct は Oil の subclass では |
(termFormat EnglishLanguage Oil "oil") | domainEnglishFormat.kif 41940-41940 | PetroleumProduct は Oil の subclass では |
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 |
![]() |
![]() |
![]() |