Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Stairway(stairway)
|  | flight, flight_of_stairs, flight_of_steps, landing |
| appearance as argument number 1 |
|
|
| (subclass Stairway StationaryArtifact) | Mid-level-ontology.kif 16638-16638 | Stairway is a subclass of stationary artifact |
| (documentation Stairway EnglishLanguage "A StationaryArtifact which allows one to climb, step by step, from one level to another.") | Mid-level-ontology.kif 16639-16640 | Stairway is a subclass of stationary artifact |
| (externalImage Stairway "http://upload.wikimedia.org/wikipedia/commons/f/ f3/ AtomiumStairwayInside.JPG") | pictureList.kif 4825-4825 | Stairway is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Stairway) (and (capability MotionUpward instrument ?S) (capability MotionDownward instrument ?S))) |
Mid-level-ontology.kif 16642-16646 | If X is an instance of stairway, then X is capable of doing motion upward as a instrument and X is capable of doing motion downward as a instrument |
| (=> (and (instance ?S Stairway) (part ?S ?B) (instance ?B Building)) (hasPurpose ?S (exists (?L1 ?L2) (and (instance ?L1 BuildingLevel) (instance ?L2 BuildingLevel) (part ?L1 ?B) (part ?L2 ?B) (connects ?S ?L1 ?L2))))) |
Mid-level-ontology.kif 16648-16660 | If X is an instance of stairway, X is a part of Y, and Y is an instance of building, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of building level (3) W is an instance of building level (4) Z is a part of Y (5) W is a part of Y (6) X connects Z (7) W |
|