Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SkeetShooting
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DrinkingWater PreparedFood) | Food.kif 218-218 | Potable water is a subclass of food |
| (roomTempState DrinkingWater Liquid) | Food.kif 220-220 | room temperature state potable water and liquid |
| (ingredient DrinkingWater Americano) | Food.kif 1287-1287 | Potable water is an ingredient in americano |
| (subclass DrinkingWater FreshWater) | Geography.kif 4242-4242 | Potable water is a subclass of freshwater |
| (documentation DrinkingWater EnglishLanguage "DrinkingWater is the subclass of Water that is safe to be consumed by Human.") | Geography.kif 4244-4245 | Potable water is a subclass of freshwater |
| (externalImage DrinkingWater "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Drinking_water.jpg") | pictureList.kif 2318-2318 | Potable water is a subclass of freshwater |
| appearance as argument number 2 |
|
|
| (names "potable water" DrinkingWater) | Food.kif 219-219 | Potable water has name "potable water" |
| (subclass SparklingWater DrinkingWater) | Food.kif 222-222 | Sparkling water is a subclass of potable water |
| (relatedInternalConcept PurifiedWater DrinkingWater) | Food.kif 239-239 | Purified water is internally related to potable water |
| (relatedInternalConcept TapWater DrinkingWater) | Food.kif 270-270 | Tap water is internally related to potable water |
| (termFormat EnglishLanguage DrinkingWater "potable water") | domainEnglishFormat.kif 46849-46849 | Tap water is internally related to potable water |
| (termFormat ChineseTraditionalLanguage DrinkingWater "飲用水") | domainEnglishFormat.kif 46850-46850 | Tap water is internally related to potable water |
| (termFormat ChineseLanguage DrinkingWater "饮用水") | domainEnglishFormat.kif 46851-46851 | Tap water is internally related to potable water |
| antecedent |
|
|
| (=> (and (instance ?A Americano) (part ?E ?A) (part ?W ?A) (instance ?E Espresso) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90.0 CelsiusDegree)) (mixtureRatio ?E ?W ?V1 ?V2 Liter)) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15))) |
Food.kif 1300-1311 | If All of the following hold: (1) X is an instance of americano (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of potable water (6) the measure of Z is 90.0 celsius degree(s) (7) A Mixture containing W unit liter of Y and V unit liter of Z, then the approximate value of W is 0.03 and the approximate value of V is 0.15 |
| (=> (and (instance ?L LongBlack) (part ?E ?L) (part ?W ?L) (instance ?E Espresso) (instance ?W DrinkingWater) (mixtureRatio ?E ?W ?V1 ?V2 Liter)) (and (approximateValue ?V1 0.06) (approximateValue ?V2 0.12))) |
Food.kif 1419-1429 | If All of the following hold: (1) X is an instance of long black (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of potable water (6) A Mixture containing W unit liter of Y and V unit liter of Z, then the approximate value of W is 0.06 and the approximate value of V is 0.12 |
| (=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1619-1625 | If X is a subclass of mixture, every X is initially part of a meat, every X is initially part of a food from a plant, and every X is initially part of a potable water, then equal X and soup stock |
| (=> (subclass ?W DrinkingWater) (subclass ?W (FoodForFn Human))) |
Geography.kif 4247-4250 | If X is a subclass of potable water, then X is a subclass of food for human |
| 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 | 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 ?S SparklingWater) (exists (?P ?W ?CD) (and (instance ?P Putting) (instance ?W DrinkingWater) (destination ?P ?CD) (instance ?CD CarbonDioxide) (result ?P ?S) (part ?CD ?S)))) |
Food.kif 227-236 | If X is an instance of sparkling water, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of putting (3) Z is an instance of potable water (4) Y ends up at W (5) W is an instance of carbon dioxide (6) X is a result of Y (7) W is a part of X |
| (=> (instance ?C Coffee) (material DrinkingWater ?C)) |
Food.kif 617-619 | If X is an instance of coffee, then X is made of potable water |
| (=> (instance ?CM CoffeeMaking) (exists (?LM ?W ?CG) (and (subProcess ?LM ?CM) (instance ?LM LiquidMotion) (patient ?LM ?W) (instance ?W DrinkingWater) (destination ?LM ?CG) (instance ?CG CoffeeGrind)))) |
Food.kif 640-649 | If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a subprocess of X (3) Y is an instance of liquid motion (4) Z is a patient of Y (5) Z is an instance of potable water (6) Y ends up at W (7) W is an instance of coffee grind |
| (=> (instance ?CM CoffeeMaking) (exists (?S ?W ?CG) (and (subProcess ?S ?CM) (instance ?S Soaking) (resource ?S ?W) (instance ?W DrinkingWater) (patient ?S ?CG) (instance ?CG CoffeeGrind)))) |
Food.kif 651-660 | If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a subprocess of X (3) Y is an instance of soaking (4) Z is a resource for Y (5) Z is an instance of potable water (6) W is a patient of Y (7) W is an instance of coffee grind |
| (=> (instance ?CM CoffeeMaking) (exists (?R ?LM ?CG ?W ?F ?C) (and (subProcess ?R ?CM) (instance ?R Removing) (origin ?R ?LM) (instance ?LM LiquidMixture) (part ?W ?LM) (instance ?W DrinkingWater) (part ?CG ?LM) (instance ?CG CoffeeGrind) (instrument ?R ?F) (instance ?F Filter) (result ?R ?C) (instance ?C Coffee)))) |
Food.kif 662-677 | If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is a subprocess of X (3) Y is an instance of removing (4) Y originates at Z (5) Z is an instance of liquid mixture (6) V is a part of Z (7) V is an instance of potable water (8) W is a part of Z (9) W is an instance of coffee grind (10) U is an instrument for Y (11) U is an instance of filter (12) T is a result of Y (13) T is an instance of coffee |
| (=> (instance ?E Espresso) (exists (?W ?V) (and (instance ?W DrinkingWater) (part ?W ?E) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03)))) |
Food.kif 731-739 | If X is an instance of espresso, then there exist Y and Z such that Y is an instance of potable water and Y is a part of X and the measure of Y is Z liter(s) and the approximate value of Z is 0.03 |
| (=> (instance ?C ColdBrewingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?C ?W) (measure ?W (MeasureFn 20 CelsiusDegree))))) |
Food.kif 821-828 | If X is an instance of cold brew coffee, then there exists Y such that Y is an instance of potable water and Y is a resource for X and the measure of Y is 20 celsius degree(s) |
| (=> (instance ?X FrenchPressingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?W ?X) (measure ?W (MeasureFn 90 CelsiusDegree))))) |
Food.kif 839-846 | If X is an instance of French press coffee, then there exists Y such that Y is an instance of potable water and X is a resource for Y and the measure of Y is 90 celsius degree(s) |
| (=> (instance ?A Americano) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90 CelsiusDegree)) (destination ?P ?E) (instance ?E Espresso) (result ?P ?A)))) |
Food.kif 1289-1299 | If X is an instance of americano, then there exist Y, Z and W such that Y is an instance of pouring and Z is a patient of Y and Z is an instance of potable water and the measure of Z is 90 celsius degree(s) and Y ends up at W and W is an instance of espresso and X is a result of Y |
| (=> (instance ?L LongBlack) (and (material Espresso ?L) (material DrinkingWater ?L))) |
Food.kif 1402-1406 | If X is an instance of long black, then X is made of espresso and X is made of potable water |
| (=> (instance ?L LongBlack) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (attribute ?W HotTemperature) (destination ?P ?E) (instance ?E Espresso) (result ?P ?L)))) |
Food.kif 1408-1418 | If X is an instance of long black, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of pouring (3) Z is a patient of Y (4) Z is an instance of potable water (5) hot is an attribute of Z (6) Y ends up at W (7) W is an instance of espresso (8) X is a result of Y |
| (=> (instance ?D Dough) (exists (?F ?W) (and (instance ?F Flour) (instance ?W DrinkingWater) (part ?F ?D) (part ?W ?D)))) |
Food.kif 1595-1602 | If X is an instance of dough, then there exist Y, Z such that Y is an instance of flour, Z is an instance of potable water, Y is a part of X, and Z is a part of X |
| (=> (instance ?S Sorbet) (material DrinkingWater ?S)) |
Food.kif 3480-3482 | If X is an instance of sorbet, then X is made of potable water |
| (=> (instance ?V Vodka) (exists (?W) (and (instance ?W DrinkingWater) (part ?W ?V)))) |
Food.kif 3625-3630 | If X is an instance of vodka, then there exists Y such that Y is an instance of potable water and Y is a part of X |
| (=> (instance ?DEVICE Kettle) (hasPurpose ?DEVICE (exists (?BOIL ?WATER) (and (instance ?BOIL Boiling) (instance ?WATER DrinkingWater) (patient ?BOIL ?WATER))))) |
HouseholdAppliances.kif 910-917 | If X is an instance of kettle, then X has the purpose there exist Y, Z such that Y is an instance of boiling, Z is an instance of potable water, and Z is a patient of Y |
|
