|
| (=> (instance ?F FourStrokeEngineCycle) (exists (?E) (and (instance ?E FourStrokeEngine) (eventLocated ?F ?E)))) |
Cars.kif 140-145 | |
| (=> (instance ?F TwoStrokeEngineCycle) (exists (?E) (and (instance ?E TwoStrokeEngine) (eventLocated ?F ?E)))) |
Cars.kif 257-262 | |
| (=> (instance ?FACILITY SkiingFacility) (exists (?SLOPE ?SKIING) (and (instance ?SLOPE SlopedArea) (part ?SLOPE ?FACILITY) (instance ?SKIING Skiing) (eventLocated ?SKIING ?SLOPE)))) |
Sports.kif 1093-1100 | |
| (=> (instance ?FACILITY WMDWeaponsProductionFacility) (exists (?DEVELOP) (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (eventLocated ?DEVELOP ?FACILITY)))) |
WMD.kif 630-635 | |
| (=> (instance ?FACILITY WMDWeaponsResearchFacility) (exists (?RESEARCH) (and (instance ?RESEARCH ResearchingWeaponOfMassDestruction) (eventLocated ?RESEARCH ?FACILITY)))) |
WMD.kif 641-646 | |
| (=> (instance ?FIRE ForestFire) (exists (?FOREST) (and (instance ?FOREST Forest) (eventLocated ?FIRE ?FOREST) (patient ?FIRE ?FOREST)))) |
Geography.kif 2407-2413 | |
| (=> (instance ?FIRE GrassFire) (exists (?GRASS) (and (instance ?GRASS Grass) (eventLocated ?FIRE ?GRASS) (patient ?FIRE ?GRASS)))) |
Geography.kif 2417-2423 | |
| (=> (instance ?FLY Flying) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (eventLocated ?FLY ?REGION)))) |
Mid-level-ontology.kif 17229-17234 | |
| (=> (instance ?FSE FourStrokeEngine) (hasPurpose ?FSE (exists (?I ?CM ?CB ?E ?I2) (and (instance ?I FourStrokeIntake) (instance ?CM FourStrokeCompression) (instance ?CB FourStrokeCombustion) (instance ?E FourStrokeExhaust) (instance ?I2 FourStrokeIntake) (eventLocated ?I ?FSE) (eventLocated ?CM ?FSE) (eventLocated ?CB ?FSE) (eventLocated ?E ?FSE) (eventLocated ?I2 ?FSE) (meetsTemporally ?I ?CM) (meetsTemporally ?CM ?CB) (meetsTemporally ?CB ?E) (meetsTemporally ?E ?I2))))) |
Cars.kif 114-132 | |
| (=> (instance ?G MiniatureGolf) (hasPurpose ?G (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?G))))) |
Sports.kif 1027-1033 | |
| (=> (instance ?G SportsFacility) (hasPurpose ?G (exists (?S) (and (instance ?S Sport) (eventLocated ?S ?G))))) |
Mid-level-ontology.kif 7011-7017 | |
| (=> (instance ?GROUND SportsGround) (hasPurpose ?GROUND (exists (?SPORT) (and (instance ?SPORT Sport) (eventLocated ?SPORT ?GROUND))))) |
Mid-level-ontology.kif 15677-15683 | |
| (=> (instance ?H Hurricane) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 740-751 | |
| (=> (instance ?HR HeavyRaining) (holdsDuring (WhenFn ?HR) (exists (?AREA ?NUM) (and (instance ?AREA Region) (eventLocated ?HR ?AREA) (rainfallIntensity ?AREA (WhenFn ?HR) (PerFn (MeasureFn ?NUM Millimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 10.0) (greaterThan 50.0 ?NUM))))) |
Weather.kif 1109-1123 | |
| (=> (instance ?HS HeavySurf) (exists (?SZ ?SWH) (and (instance ?SZ SurfZone) (eventLocated ?HS ?SZ) (significantWaveHeight ?SZ (WhenFn ?HS) (MeasureFn ?SWH FootLength)) (greaterThanOrEqualTo ?SWH 13.0)))) |
Weather.kif 1557-1566 | |
| (=> (instance ?HS HeavySurf) (holdsDuring (WhenFn ?HS) (exists (?SZ ?WW) (and (instance ?SZ SurfZone) (instance ?WW WaterWave) (subProcess ?WW ?HS) (eventLocated ?WW ?SZ))))) |
Weather.kif 1568-1577 | |
| (=> (instance ?I Imprisoning) (exists (?P) (and (instance ?P Prison) (eventLocated ?I ?P)))) |
Mid-level-ontology.kif 13924-13929 | |
| (=> (instance ?I IntermittentCombustionEngine) (hasPurpose ?I (exists (?E ?M) (and (instance ?E Explosion) (instance ?M Motion) (eventLocated ?E ?I) (eventLocated ?M ?I) (causes ?E ?M))))) |
Cars.kif 280-289 | |
| (=> (instance ?ICM IgnitionControlModule) (hasPurpose ?ICM (exists (?S ?A ?CP) (and (instance ?A Automobile) (instance ?S Spark) (instance ?CP ComputerProcess) (part ?ICM ?A) (eventLocated ?CP ?A) (eventLocated ?S ?A) (causes ?CP ?S))))) |
Cars.kif 3182-3193 | |
| (=> (instance ?K KitchenArea) (hasPurpose ?K (exists (?C) (and (instance ?C Cooking) (eventLocated ?C ?K))))) |
Mid-level-ontology.kif 15546-15552 | |
| (=> (instance ?KENNEL Kennel) (hasPurpose ?KENNEL (exists (?ANIMAL ?CONFINING) (and (instance ?ANIMAL DomesticAnimal) (instance ?CONFINING Confining) (patient ?CONFINING ?ANIMAL) (eventLocated ?CONFINING ?KENNEL))))) |
Mid-level-ontology.kif 25353-25361 | |
| (=> (instance ?L Lightning) (exists (?C) (and (instance ?C Cloud) (eventLocated ?L ?C)))) |
Mid-level-ontology.kif 3043-3048 | |
| (=> (instance ?LAB Laboratory) (exists (?EXPERIMENT) (and (instance ?EXPERIMENT Experimenting) (eventLocated ?EXPERIMENT ?LAB)))) |
Mid-level-ontology.kif 15710-15715 | |
| (=> (instance ?LAND Landing) (exists (?REGION ?FLYING) (and (not (instance ?REGION AtmosphericRegion)) (holdsDuring (EndFn (WhenFn ?LAND)) (eventLocated ?LAND ?REGION)) (subProcess ?FLYING ?LAND) (instance ?FLYING Flying)))) |
Mid-level-ontology.kif 17253-17260 | |
| (=> (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 1732-1742 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners