Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   HeatingAppliance
|
|
|
| appearance as argument number 1 |
|
|
| (subclass HeatingAppliance HouseholdAppliance) | HouseholdAppliances.kif 1161-1161 | Heating appliance is a subclass of household appliance |
| (subclass HeatingAppliance HeatingDevice) | HouseholdAppliances.kif 1162-1162 | Heating appliance is a subclass of heating device |
| (documentation HeatingAppliance EnglishLanguage "HeatingDevice designed to be used to heat air in a household.") | HouseholdAppliances.kif 1163-1163 | Heating appliance is a subclass of heating device |
| appearance as argument number 2 |
|
|
|