Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Installing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MobileGameConsole EntertainmentAppliance) | HouseholdAppliances.kif 312-312 | Mobile game console is a subclass of entertainment appliance |
| (subclass MobileGameConsole BatteryPoweredDevice) | HouseholdAppliances.kif 313-313 | Mobile game console is a subclass of battery powered device |
| (documentation MobileGameConsole EnglishLanguage "An EntertainmentAppliance that can be powered by a Battery, and has integraded display.") | HouseholdAppliances.kif 315-317 | Mobile game console is a subclass of battery powered device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MobileGameConsole "mobile game console") | HouseholdAppliances.kif 319-319 |
| antecedent |
|
|
| (=> (instance ?DEVICE MobileGameConsole) (exists (?DISPLAY) (and (instance ?DISPLAY VideoDisplay) (properPart ?DEVICE ?DISPLAY)))) |
HouseholdAppliances.kif 321-326 | If X is an instance of mobile game console, then there exists Y such that Y is an instance of video display and X is a proper part of Y |
|