Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  CaffeinatedAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (instance CaffeinatedAttribute PreparedFoodAttribute) | Food.kif 381-381 | Caffeinated is an instance of prepared food attribute |
| (relatedInternalConcept CaffeinatedAttribute DecafAttribute) | Food.kif 382-382 | Caffeinated is internally related to decaf |
| (documentation CaffeinatedAttribute EnglishLanguage "CaffeinatedAttribute describes a food that contains Caffeine.") | Food.kif 383-384 | Caffeinated is internally related to decaf |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CaffeinatedAttribute "caffeinated") | Food.kif 385-385 |
| antecedent |
|
|
| (=> (and (instance ?F Food) (attribute ?F CaffeinatedAttribute)) (exists (?CAF) (and (instance ?CAF Caffeine) (piece ?CAF ?F)))) |
Food.kif 387-394 | If X is an instance of food and caffeinated is an attribute of X, then there exists Y such that Y is an instance of caffeine and Y is a piece of X |
| consequent |
|
|
| (=> (instance ?C Coffee) (attribute ?C CaffeinatedAttribute)) |
Food.kif 613-615 | If X is an instance of coffee, then caffeinated is an attribute of X |
| (=> (instance ?T Tea) (attribute ?T CaffeinatedAttribute)) |
Food.kif 1829-1831 | If X is an instance of tea, then caffeinated is an attribute of X |
| (=> (instance ?X CaffeinateFreeTea) (not (attribute ?X CaffeinatedAttribute))) |
Food.kif 1838-1841 | If X is an instance of caffeinate free tea, then caffeinated is not an attribute of X |
|