Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Attic
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Attic StationaryArtifact) | HouseholdAppliances.kif 1108-1108 | Attic is a subclass of stationary artifact |
| (documentation Attic EnglishLanguage "A part of a Building in between the uppermost Ceiling and the Roof. It is distinguished from any room on the uppermost floor of a building in that it is not designed to be an inhabited space, but rather used for storage, or just insulation.") | HouseholdAppliances.kif 1110-1113 | Attic is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Attic "attic") | HouseholdAppliances.kif 1109-1109 |
| antecedent |
|
|
| (=> (instance ?A Attic) (exists (?B ?R) (and (instance ?B Building) (instance ?R Roof) (not (exists (?ROOM) (and (instance ?ROOM Room) (orientation ?A ?ROOM Above))))))) |
HouseholdAppliances.kif 1115-1125 | If X is an instance of attic, then there exist Y, Z such that Y is an instance of building, Z is an instance of roof, there doesn't exist W such that W is an instance of room, and X is above to W |
| (=> (instance ?A Attic) (hasPurpose ?A (not (exists (?P) (inhabits ?P ?A))))) |
HouseholdAppliances.kif 1127-1132 | If X is an instance of attic, then X has the purpose there doesn't exist Y such that Y lives in X |
| consequent |
|
|
| (=> (instance ?DEVICE WholeHouseFan) (hasPurpose ?DEVICE (exists (?CEILING) (and (instance ?CEILING Attic) (located ?DEVICE ?CEILING))))) |
HouseholdAppliances.kif 1139-1145 | If X is an instance of whole house fan, then X has the purpose there exists Y such that Y is an instance of attic and X is located at Y |
|