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 8808-8809 | |
(subclass Oil CompoundSubstance) | Mid-level-ontology.kif 8807-8807 | Oil ist eine teilkategorie von CompoundSubstance |
appearance as argument number 2 |
(subclass AnimalFat Oil) | Food.kif 2871-2871 | AnimalFat ist eine teilkategorie von Oil |
(subclass ButterFat Oil) | Food.kif 2930-2930 | ButterFat ist eine teilkategorie von Oil |
(subclass OilFromPlant Oil) | Economy.kif 4526-4526 | OilFromPlant ist eine teilkategorie von Oil |
(subclass PetroleumProduct Oil) | Mid-level-ontology.kif 1677-1677 | PetroleumProduct ist eine teilkategorie von Oil |
(termFormat ChineseLanguage Oil "油") | domainEnglishFormat.kif 41934-41934 | |
(termFormat ChineseTraditionalLanguage Oil "油") | domainEnglishFormat.kif 41933-41933 | |
(termFormat EnglishLanguage Oil "oil") | domainEnglishFormat.kif 41932-41932 |
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 8811-8819 |
|
consequent |
(=> (and (instance ?X DryRoasting) (instance ?F Food) (patient ?X ?F)) (holdsDuring ?X (exists (?H ?S) (and (instance ?H Heating) (instance ?S Stirring) (subProcess ?H ?X) (subProcess ?S ?X) (during (WhenFn ?S) (WhenFn ?H)) (patient ?H ?F) (patient ?S ?F) (not (exists (?O ?W) (and (instance ?O Oil) (instance ?W DrinkingWater) (patient ?X ?O) (patient ?X ?W)))))))) |
Food.kif 128-151 |
|
(=> (instance ?CHOC ChocolateCandy) (and (material CocoaLiquor ?CHOC) (material Oil ?CHOC) (material Sugar ?CHOC))) |
Food.kif 2500-2505 |
|
(=> (instance ?F Frying) (exists (?O) (and (instance ?O Oil) (resource ?F ?O)))) |
Food.kif 2569-2574 |
|
(=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 2664-2668 |
|
(=> (instance ?OP OilPan) (hasPurpose ?OP (exists (?O) (and (instance ?O Oil) (contains ?OP ?O))))) |
Cars.kif 3331-3337 | |
(=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P)))) |
Mid-level-ontology.kif 3219-3224 |
|