Meter(仪表) |
(=> (instance ?M SurfaceWindSpeedMeasuring) (exists (?PLACE ?TOOL) (and (instance ?PLACE GeographicArea) (instance ?TOOL Device) (eventLocated ?M ?PLACE) (instrument ?M ?TOOL) (holdsDuring (WhenFn ?M) (elevation ?TOOL (MeasureFn 10.0 Meter)))))) |
Weather.kif 1728-1738 | |
(=> (instance ?PROCESS Blizzard) (exists (?AREA ?DIST) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?PROCESS) (MeasureFn ?DIST Meter)) (lessThan ?DIST 400.0)))) |
Weather.kif 2638-2647 | |
(=> (instance ?VIRUS YellowFeverVirus) (exists (?NUMBER) (and (width ?VIRUS (MeasureFn ?NUMBER Meter)) (equal ?NUMBER 0.00000002)))) |
WMD.kif 1179-1184 | |
(=> (instance ?X DoubleBed) (and (width ?X (MeasureFn 1.35 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3841-3845 | |
(=> (instance ?X KingBed) (and (width ?X (MeasureFn 1.9 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3784-3788 | |
(=> (instance ?X QueenBed) (and (width ?X (MeasureFn 1.5 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3815-3819 | |
(=> (instance ?X SingleBed) (and (width ?X (MeasureFn 1.0 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3867-3871 |