Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Soda(soda) |  | Coca_Cola, Coke, Pepsi, Pepsi_Cola, birch_beer, bitter_lemon, cola, cream_soda, dope, egg_cream, ginger_ale, ginger_pop, orange_soda, phosphate, pop, quinine_water, root_beer, sarsaparilla, soda, soda_pop, soda_water, tonic, tonic_water |
| appearance as argument number 1 |
|
|
| (subclass Soda Beverage) | Food.kif 3467-3467 | Soda is a subclass of beverage |
| (roomTempState Soda Liquid) | Food.kif 3468-3468 | room temperature state soda and liquid |
| appearance as argument number 2 |
|
|
| (subclass CocaCola Soda) | Food.kif 2555-2555 | Coca_Cola is a subclass of soda |
| (termFormat EnglishLanguage Soda "soda") | domainEnglishFormat.kif 65512-65512 | Coca_Cola is a subclass of soda |
| antecedent |
|
|
| (=> (instance ?S Soda) (exists (?CD) (and (instance ?CD CarbonDioxide) (part ?CD ?S)))) |
Food.kif 3469-3474 | If X is an instance of soda, then there exists Y such that Y is an instance of carbon dioxide and Y is a part of X |
|