(=>
(instance ?E Elevator)
(and
(capability MotionUpward instrument ?E)
(capability MotionDownward instrument ?E))) |
Mid-level-ontology.kif 16370-16374 |
|
(=>
(instance ?H HoistingDevice)
(capability MotionUpward instrument ?H)) |
Mid-level-ontology.kif 2551-2553 |
|
(=>
(instance ?LADDER Ladder)
(and
(capability MotionUpward instrument ?LADDER)
(capability MotionDownward instrument ?LADDER))) |
Mid-level-ontology.kif 16041-16045 |
|
(=>
(instance ?R Ramp)
(capability MotionUpward path ?R)) |
Mid-level-ontology.kif 2432-2434 |
|
(=>
(instance ?S Stairway)
(and
(capability MotionUpward instrument ?S)
(capability MotionDownward instrument ?S))) |
Mid-level-ontology.kif 15995-15999 |
|
(=>
(instance ?STEPS Steps)
(and
(capability MotionUpward instrument ?STEPS)
(capability MotionDownward instrument ?STEPS))) |
Mid-level-ontology.kif 16019-16023 |
|
(=>
(instance ?STORM Storm)
(holdsDuring
(WhenFn ?STORM)
(exists (?LOW ?AREA ?AIR ?RISE)
(and
(instance ?LOW LowPressureWeatherSystem)
(instance ?AREA Region)
(eventLocated ?LOW ?AREA)
(instance ?AIR Air)
(instance ?RISE MotionUpward)
(patient ?RISE ?AIR)
(eventLocated ?RISE ?AREA)
(subProcess ?RISE ?LOW))))) |
Weather.kif 2898-2911 |
|