Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ElectricKettle(electric kettle) |
| appearance as argument number 1 |
|
| (subclass ElectricKettle Kettle) | HouseholdAppliances.kif 920-920 | Electric kettle is a subclass of kettle |
| (subclass ElectricKettle ElectricDevice) | HouseholdAppliances.kif 921-921 | Electric kettle is a subclass of electric device |
| (documentation ElectricKettle EnglishLanguage "A Kettle that uses electricity as a PowerSource.") | HouseholdAppliances.kif 922-922 | Electric kettle is a subclass of electric device |
| (subclass ElectricKettle HeatingDevice) | Society.kif 922-922 | Electric kettle is a subclass of heating device |
| (subclass ElectricKettle HomeAppliance) | Society.kif 923-923 | Electric kettle is a subclass of home appliance |
| (documentation ElectricKettle EnglishLanguage "An electric kettle, sometimes called a tea kettle or teakettle, is a small kitchen appliance used for boiling water.") | Society.kif 924-924 | Electric kettle is a subclass of home appliance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ElectricKettle "electric kettle") | domainEnglishFormat.kif 64808-64808 |
| antecedent |
|
|
| (=> (instance ?K ElectricKettle) (hasPurpose ?K (exists (?BOILING) (and (instance ?BOILING Heating) (instrument ?BOILING ?K))))) |
Society.kif 925-931 | If X is an instance of electric kettle, then X has the purpose there exists Y such that Y is an instance of heating and X is an instrument for Y |
|