Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Steps(steps) |  | ramp, staircase, stairs, stairway, steps |
| appearance as argument number 1 |
|
|
| (subclass Steps StationaryArtifact) | Mid-level-ontology.kif 16662-16662 | Steps is a subclass of stationary artifact |
| (documentation Steps EnglishLanguage "A StationaryArtifact which allows one to climb, step by step, from one level to another.") | Mid-level-ontology.kif 16663-16664 | Steps is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?STEPS Steps) (and (capability MotionUpward instrument ?STEPS) (capability MotionDownward instrument ?STEPS))) |
Mid-level-ontology.kif 16666-16670 | If X is an instance of steps, then X is capable of doing motion upward as a instrument and X is capable of doing motion downward as a instrument |
| consequent |
|
|
| (=> (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING)) (exists (?STEPS) (and (instance ?STEPS Steps) (connects ?STEPS ?LEVEL1 ?LEVEL2)))) |
Mid-level-ontology.kif 16672-16682 | If X is an instance of building level, Y is an instance of building level, Z is an instance of building, X is a part of Z, and Y is a part of Z, then there exists W such that W is an instance of steps, W connects X, and Y |
|