Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ElectricBlanket(electric blanket) |
| appearance as argument number 1 |
|
| (subclass ElectricBlanket HouseUtilityAppliance) | HouseholdAppliances.kif 966-966 | Electric blanket is a subclass of house utility appliance |
| (subclass ElectricBlanket ElectricDevice) | HouseholdAppliances.kif 967-967 | Electric blanket is a subclass of electric device |
| (subclass ElectricBlanket HeatingAppliance) | HouseholdAppliances.kif 968-968 | Electric blanket is a subclass of heating appliance |
| (subclass ElectricBlanket Fabric) | HouseholdAppliances.kif 969-969 | Electric blanket is a subclass of fabric |
| (documentation ElectricBlanket EnglishLanguage "A blanket integrated with a electrical heating device.") | HouseholdAppliances.kif 970-970 | Electric blanket is a subclass of fabric |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ElectricBlanket "electric blanket") | HouseholdAppliances.kif 971-971 |
|