Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GarbageDisposer(garbage disposer) |
| appearance as argument number 1 |
|
| (subclass GarbageDisposer HouseUtilityAppliance) | HouseholdAppliances.kif 974-974 | Garbage disposer is a subclass of house utility appliance |
| (subclass GarbageDisposer ElectricDevice) | HouseholdAppliances.kif 975-975 | Garbage disposer is a subclass of electric device |
| (documentation GarbageDisposer EnglishLanguage "A Device installed under a kitchen sink drain to shreds food waste into small pieces.") | HouseholdAppliances.kif 976-976 | Garbage disposer is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GarbageDisposer "garbage disposer") | HouseholdAppliances.kif 977-977 |
|