Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LongBlack(long black) |
| appearance as argument number 1 |
|
| (subclass LongBlack Coffee) | Food.kif 1396-1396 | Long black is a subclass of coffee |
| (documentation LongBlack EnglishLanguage "A LongBlack is made by pouring a double shot of Espresso over hot water. Typically about 120 milliliters (3.5–4 ounces) of water is used but the measurement is considered to be flexible to individual taste.[Wikipedia] ") | Food.kif 1397-1399 | Long black is a subclass of coffee |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LongBlack "long black") | Food.kif 1400-1400 |
| antecedent |
|
|
| (=> (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 |
| (=> (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 |
|