Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Roof(roof)
|  | housetop, onion_dome, roof |
| appearance as argument number 1 |
|
|
| (subclass Roof StationaryArtifact) | Mid-level-ontology.kif 16942-16942 | Roof is a subclass of stationary artifact |
| (documentation Roof EnglishLanguage "The top of a Building.") | Mid-level-ontology.kif 16943-16943 | Roof is a subclass of stationary artifact |
| (externalImage Roof "http://upload.wikimedia.org/wikipedia/commons/2/29/ Roofes.JPG") | pictureList.kif 159-159 | Roof is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING)))) |
Mid-level-ontology.kif 16945-16950 | If X is an instance of roof, then there exists Y such that Y is an instance of building and the top of Y is X |
| consequent |
|
|
| (=> (instance ?X Courtyard) (and (not (exists (?ROOF) (and (instance ?ROOF Roof) (top ?ROOF ?X)))) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Surrounded))))) |
Mid-level-ontology.kif 28591-28602 | If X is an instance of courtyard, then there doesn't exist Y such that Y is an instance of roof and the top of X is Y and there exists Z such that Z is an instance of building and X is surrounded by to Z |
| (=> (instance ?X Lanai) (exists (?ROOF) (and (instance ?ROOF Roof) (part ?ROOF ?X) (modalAttribute (exists (?AREA) (and (instance ?AREA SittingArea) (located ?AREA ?X))) Likely)))) |
Mid-level-ontology.kif 29249-29259 | If X is an instance of lanai, then there exists Y such that Y is an instance of roof, Y is a part of X, the statement there exists Z such that Z is an instance of sitting area, and Z is located at X has the modal force of likely |
| (=> (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 |
|