| Oil | |
| appearance as argument number 1 |
|
|
| (documentation Oil EnglishLanguage "A greasy, viscous Solution that cannot be mixed with Water. Note that this general class covers petroleum oil, vegetable oil, animal fat, etc.") | Mid-level-ontology.kif 8468-8469 | |
| (subclass Oil Solution) | Mid-level-ontology.kif 8467-8467 | subclass Oil and Solution |
| appearance as argument number 2 |
|
|
| (subclass PetroleumProduct Oil) | Mid-level-ontology.kif 2089-2089 | subclass PetroleumProduct and Oil |
| (termFormat ChineseLanguage Oil "油") | domainEnglishFormat.kif 41842-41842 | |
| (termFormat ChineseTraditionalLanguage Oil "油") | domainEnglishFormat.kif 41841-41841 | |
| (termFormat EnglishLanguage Oil "oil") | domainEnglishFormat.kif 41840-41840 |
| antecedent |
|
|
| (=> (instance ?OIL Oil) (not (exists (?MIX ?WATER) (and (instance ?MIX Mixture) (part ?WATER ?MIX) (instance ?WATER Water) (part ?OIL ?MIX))))) |
Mid-level-ontology.kif 8471-8478 |
| consequent |
|
|
| (=> (instance ?F Frying) (exists (?O) (and (instance ?O Oil) (resource ?F ?O)))) |
Food.kif 565-570 | |
| (=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 657-661 | |
| (=> (instance ?OP OilPan) (hasPurpose ?OP (exists (?O) (and (instance ?O Oil) (contains ?OP ?O))))) |
Cars.kif 3298-3304 | |
| (=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P)))) |
Mid-level-ontology.kif 3761-3766 |
|
|
|