| 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 8484-8485 | |
| (subclass Oil Solution) | Mid-level-ontology.kif 8483-8483 |
| appearance as argument number 2 |
|
|
| (subclass PetroleumProduct Oil) | Mid-level-ontology.kif 2085-2085 | |
| (termFormat ChineseLanguage Oil "油") | domainEnglishFormat.kif 41845-41845 | |
| (termFormat ChineseTraditionalLanguage Oil "油") | domainEnglishFormat.kif 41844-41844 | |
| (termFormat EnglishLanguage Oil "oil") | domainEnglishFormat.kif 41843-41843 |
| 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 8487-8494 |
| consequent |
|
|
| (=> (instance ?F Frying) (exists (?O) (and (instance ?O Oil) (resource ?F ?O)))) |
Food.kif 609-614 | |
| (=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 701-705 | |
| (=> (instance ?OP OilPan) (hasPurpose ?OP (exists (?O) (and (instance ?O Oil) (contains ?OP ?O))))) |
Cars.kif 3297-3303 | |
| (=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P)))) |
Mid-level-ontology.kif 3756-3761 |
|
|
|