| 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 8489-8490 | |
| (subclass Oil Solution) | Mid-level-ontology.kif 8488-8488 | subclass Oil and Solution |
| appearance as argument number 2 |
|
|
| (subclass PetroleumProduct Oil) | Mid-level-ontology.kif 2083-2083 | subclass PetroleumProduct and Oil |
| (termFormat ChineseLanguage Oil "油") | domainEnglishFormat.kif 41821-41821 | |
| (termFormat ChineseTraditionalLanguage Oil "油") | domainEnglishFormat.kif 41820-41820 | |
| (termFormat EnglishLanguage Oil "oil") | domainEnglishFormat.kif 41819-41819 |
| 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 8492-8499 |
| 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 3755-3760 |
|
|
|