Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Oil
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Oil CompoundSubstance) | Mid-level-ontology.kif 10175-10175 | Oil is a subclass of compound substance |
| (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 10176-10177 | Oil is a subclass of compound substance |
| appearance as argument number 2 |
|
|
| 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 10179-10187 | If X is an instance of oil, then there don't exist Y, Z such that Y is an instance of mixture, Z is a part of Y, Z is an instance of freshwater, and X is a part of Y |
| consequent |
|
|
| (=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P)))) |
Mid-level-ontology.kif 3831-3836 | If X is an instance of oil paint, then there exists Y such that Y is an instance of oil and Y is a part of X |
| (=> (instance ?OP OilPan) (hasPurpose ?OP (exists (?O) (and (instance ?O Oil) (contains ?OP ?O))))) |
Cars.kif 3213-3219 | If X is an instance of oil pan, then X has the purpose there exists Y such that Y is an instance of oil and X contains Y |
| (=> (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 | If X is an instance of dry roasting, Y is an instance of food, and Y is a patient of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of heating (3) W is an instance of stirring (4) Z is a subprocess of X (5) W is a subprocess of X (6) the time of existence of W takes place during the time of existence of Z (7) Y is a patient of Z (8) Y is a patient of W (9) there don't exist V (10) U such that V is an instance of oil (11) U is an instance of potable water (12) V is a patient of X (13) U is a patient of X holds during X |
| (=> (instance ?CHOC ChocolateCandy) (and (material CocoaLiquor ?CHOC) (material Oil ?CHOC) (material Sugar ?CHOC))) |
Food.kif 2522-2527 | If X is an instance of chocolate candy, then X is made of cocoa liquor, X is made of oil, and X is made of sugar |
| (=> (instance ?F Frying) (exists (?O) (and (instance ?O Oil) (resource ?F ?O)))) |
Food.kif 2593-2598 | If X is an instance of frying, then there exists Y such that Y is an instance of oil and Y is a resource for X |
| (=> (instance ?M Mayonnaise) (and (material Oil ?M) (material EggYolk ?M))) |
Food.kif 2692-2696 | If X is an instance of mayonnaise, then X is made of oil and X is made of egg yolk |
|