Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Elevator(elevator)
|  | car, dumbwaiter, elevator, elevator_car, food_elevator, freight_elevator, lift, paternoster, service_elevator |
| appearance as argument number 1 |
|
|
| (subclass Elevator TransportationDevice) | Mid-level-ontology.kif 17021-17021 | Elevator is a subclass of transportation device |
| (documentation Elevator EnglishLanguage "A TransportationDevice consisting of a car that moves up and down in a vertical shaft so that people or objects can move from one floor to another in a building.") | Mid-level-ontology.kif 17022-17024 | Elevator is a subclass of transportation device |
| (externalImage Elevator "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_2/ elevator.png") | pictureList.kif 411-411 | Elevator is a subclass of transportation device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?E Elevator) (hasPurpose ?E (exists (?T ?L1 ?L2 ?B) (and (instance ?T Transportation) (origin ?T ?L1) (instance ?L1 BuildingLevel) (destination ?T ?L2) (instance ?L2 BuildingLevel) (not (equal ?L1 ?L2)) (part ?L1 ?B) (part ?L2 ?B) (instance ?B Building))))) |
Mid-level-ontology.kif 17026-17039 | If X is an instance of elevator, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of transportation (3) Y originates at Z (4) Z is an instance of building level (5) Y ends up at W (6) W is an instance of building level (7) equal Z (8) W (9) Z is a part of V (10) W is a part of V (11) V is an instance of building |
| (=> (instance ?E Elevator) (and (capability MotionUpward instrument ?E) (capability MotionDownward instrument ?E))) |
Mid-level-ontology.kif 17041-17045 | If X is an instance of elevator, then X is capable of doing motion upward as a instrument and X is capable of doing motion downward as a instrument |
|