Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CeilingFan(ceiling fan) |
| appearance as argument number 1 |
|
| (subclass CeilingFan ElectricFan) | HouseholdAppliances.kif 1096-1096 | Ceiling fan is a subclass of electric fan |
| (documentation CeilingFan EnglishLanguage "A ElectricFan suspended from a ceiling of a room.") | HouseholdAppliances.kif 1097-1097 | Ceiling fan is a subclass of electric fan |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CeilingFan "ceiling fan") | HouseholdAppliances.kif 1098-1098 |
| antecedent |
|
|
| (=> (instance ?DEVICE CeilingFan) (hasPurpose ?DEVICE (exists (?CEILING) (and (instance ?CEILING Ceiling) (located ?DEVICE ?CEILING))))) |
HouseholdAppliances.kif 1100-1106 | If X is an instance of ceiling fan, then X has the purpose there exists Y such that Y is an instance of ceiling and X is located at Y |
|