| 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 10033-10034 | |
| (subclass Oil CompoundSubstance) | Mid-level-ontology.kif 10032-10032 |
| appearance as argument number 2 |
|
|
| (subclass AnimalFat Oil) | Food.kif 2878-2878 | |
| (subclass ButterFat Oil) | Food.kif 2937-2937 | |
| (subclass OilFromPlant Oil) | Economy.kif 4864-4864 | |
| (subclass PetroleumProduct Oil) | Mid-level-ontology.kif 2139-2139 | |
| (termFormat ChineseLanguage Oil "油") | domainEnglishFormat.kif 41965-41965 | |
| (termFormat ChineseTraditionalLanguage Oil "油") | domainEnglishFormat.kif 41964-41964 | |
| (termFormat EnglishLanguage Oil "oil") | domainEnglishFormat.kif 41963-41963 |
| 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 10036-10044 |
| 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 2507-2512 | |
| (=> (instance ?F Frying) (exists (?O) (and (instance ?O Oil) (resource ?F ?O)))) |
Food.kif 2576-2581 | |
| (=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 2671-2675 | |
| (=> (instance ?OP OilPan) (hasPurpose ?OP (exists (?O) (and (instance ?O Oil) (contains ?OP ?O))))) |
Cars.kif 3384-3390 | |
| (=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P)))) |
Mid-level-ontology.kif 3681-3686 |
|
|
|