Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Kettle(kettle) |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Kettle "kettle") | HouseholdAppliances.kif 908-908 | |
| (subclass ElectricKettle Kettle) | HouseholdAppliances.kif 920-920 | Electric kettle is a subclass of kettle |
| antecedent |
|
|
| (=> (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 |
|