Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BatteryCharger(battery charger) |
| appearance as argument number 1 |
|
| (subclass BatteryCharger HouseUtilityAppliance) | HouseholdAppliances.kif 952-952 | Battery charger is a subclass of house utility appliance |
| (subclass BatteryCharger ElectricDevice) | HouseholdAppliances.kif 953-953 | Battery charger is a subclass of electric device |
| (documentation BatteryCharger EnglishLanguage "A Device capable of charging a battery by forcing an electric current through it.") | HouseholdAppliances.kif 954-954 | Battery charger is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BatteryCharger "battery charger") | HouseholdAppliances.kif 955-955 |
| appearance as argument number 3 |
|
|
| (domainSubclass averageChargerEnergyRatio 1 BatteryCharger) | HouseholdAppliances.kif 1834-1834 | The number 1 argument of average charger energy ratio is a subclass of battery charger |
|