|
|
  CaffeinatedAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CaffeinatedAttribute EnglishLanguage "CaffeinatedAttribute describes a food that contains Caffeine.") | Food.kif 407-408 | |
| (instance CaffeinatedAttribute PreparedFoodAttribute) | Food.kif 405-405 | |
| (relatedInternalConcept CaffeinatedAttribute DecafAttribute) | Food.kif 406-406 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CaffeinatedAttribute "caffeinated") | Food.kif 409-409 |
| antecedent |
|
|
| (=> (and (instance ?F Food) (attribute ?F CaffeinatedAttribute)) (exists (?CAF) (and (instance ?CAF Caffeine) (piece ?CAF ?F)))) |
Food.kif 411-418 |
| consequent |
|
|
| (=> (instance ?C Coffee) (attribute ?C CaffeinatedAttribute)) |
Food.kif 637-639 | |
| (=> (instance ?T Tea) (attribute ?T CaffeinatedAttribute)) |
Food.kif 1816-1818 | |
| (=> (instance ?X CaffeinateFreeTea) (not (attribute ?X CaffeinatedAttribute))) |
Food.kif 1825-1828 |
|
|
|