| 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 |
| appearance as argument number 2 |
|
|
| (subclass AnimalFat Oil) | Food.kif 2871-2871 | |
| (subclass ButterFat Oil) | Food.kif 2930-2930 | |
| (subclass OilFromPlant Oil) | Economy.kif 4736-4736 | |
| (subclass PetroleumProduct Oil) | Mid-level-ontology.kif 1743-1743 | |
| (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 9585-9593 |
| 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 3384-3390 | |
| (=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P)))) |
Mid-level-ontology.kif 3285-3290 |
|
|
|