eventLocated
(=>
(
instance
?F
FourStrokeEngineCycle
)
(
exists
(?E)
(
and
(
instance
?E
FourStrokeEngine
)
(
eventLocated
?F ?E))))
Cars.kif 140-145
Wenn
Process
ist ein
fall
von
FourStrokeEngineCycle
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
FourStrokeEngine
%n{nicht} und
eventLocated
** Process
and
** Object
(=>
(
instance
?F
TwoStrokeEngineCycle
)
(
exists
(?E)
(
and
(
instance
?E
TwoStrokeEngine
)
(
eventLocated
?F ?E))))
Cars.kif 257-262
Wenn
Process
ist ein
fall
von
TwoStrokeEngineCycle
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
TwoStrokeEngine
%n{nicht} und
eventLocated
** Process
and
** Object
(=>
(
instance
?FACILITY
SkiingFacility
)
(
exists
(?SLOPE ?SKIING)
(
and
(
instance
?SLOPE
SlopedArea
)
(
part
?SLOPE ?FACILITY)
(
instance
?SKIING
Skiing
)
(
eventLocated
?SKIING ?SLOPE))))
Sports.kif 1093-1100
Wenn
Object
ist ein
fall
von
SkiingFacility
%n{nicht},
dann es gibt
** Object
und
Process
um
** ** Object
ist ein
fall
von
SlopedArea
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Process
ist ein
fall
von
Skiing
%n{nicht} und
eventLocated
** Process
and
** ** Object
(=>
(
instance
?FACILITY
WMDWeaponsProductionFacility
)
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY))))
WMD.kif 630-635
Wenn
Object
ist ein
fall
von
WMDWeaponsProductionFacility
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
DevelopingWeaponOfMassDestruction
%n{nicht} und
eventLocated
** Process
and
** Object
(=>
(
instance
?FACILITY
WMDWeaponsResearchFacility
)
(
exists
(?RESEARCH)
(
and
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
eventLocated
?RESEARCH ?FACILITY))))
WMD.kif 641-646
Wenn
Object
ist ein
fall
von
WMDWeaponsResearchFacility
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
ResearchingWeaponOfMassDestruction
%n{nicht} und
eventLocated
** Process
and
** Object
(=>
(
instance
?FIRE
ForestFire
)
(
exists
(?FOREST)
(
and
(
instance
?FOREST
Forest
)
(
eventLocated
?FIRE ?FOREST)
(
patient
?FIRE ?FOREST))))
Geography.kif 2407-2413
Wenn
Process
ist ein
fall
von
ForestFire
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Forest
%n{nicht} und
eventLocated
** Process
and
** Object
und
** Object
ist ein
patient
von
** Process
%n{nicht}
(=>
(
instance
?FIRE
GrassFire
)
(
exists
(?GRASS)
(
and
(
instance
?GRASS
Grass
)
(
eventLocated
?FIRE ?GRASS)
(
patient
?FIRE ?GRASS))))
Geography.kif 2417-2423
Wenn
Process
ist ein
fall
von
GrassFire
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Grass
%n{nicht} und
eventLocated
** Process
and
** Object
und
** Object
ist ein
patient
von
** Process
%n{nicht}
(=>
(
instance
?FLY
Flying
)
(
exists
(?REGION)
(
and
(
instance
?REGION
AtmosphericRegion
)
(
eventLocated
?FLY ?REGION))))
Mid-level-ontology.kif 17229-17234
Wenn
Process
ist ein
fall
von
Flying
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
AtmosphericRegion
%n{nicht} und
eventLocated
** Process
and
** Object
(=>
(
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
Wenn
Physical
ist ein
fall
von
FourStrokeEngine
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
,, ,
** entity
, and und
** entity
2 um
** entity
ist ein
fall
von
FourStrokeIntake
%n{nicht} und
** ** entity
ist ein
fall
von
FourStrokeCompression
%n{nicht} und
** ** entity
ist ein
fall
von
FourStrokeCombustion
%n{nicht} und
** ** entity
ist ein
fall
von
FourStrokeExhaust
%n{nicht} und
** entity
2 ist ein
fall
von
FourStrokeIntake
%n{nicht} und
eventLocated
** entity
and
** Physical
und
eventLocated
** ** entity
and
** Physical
und
eventLocated
** ** entity
and
** Physical
und
eventLocated
** ** entity
and
** Physical
und
eventLocated
** entity
2 and
** Physical
und
** entity
schliesst
** ** entity
zeitlich an und
** ** entity
schliesst
** ** entity
zeitlich an und
** ** entity
schliesst
** ** entity
zeitlich an und
** ** entity
schliesst
** entity
2 zeitlich an %n{nicht}
(=>
(
instance
?G
MiniatureGolf
)
(
hasPurpose
?G
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
eventLocated
?REC ?G)))))
Sports.kif 1027-1033
Wenn
Physical
ist ein
fall
von
MiniatureGolf
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
eventLocated
** entity
and
** Physical
%n{nicht}
(=>
(
instance
?G
SportsFacility
)
(
hasPurpose
?G
(
exists
(?S)
(
and
(
instance
?S
Sport
)
(
eventLocated
?S ?G)))))
Mid-level-ontology.kif 7011-7017
Wenn
Physical
ist ein
fall
von
SportsFacility
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Sport
%n{nicht} und
eventLocated
** entity
and
** Physical
%n{nicht}
(=>
(
instance
?GROUND
SportsGround
)
(
hasPurpose
?GROUND
(
exists
(?SPORT)
(
and
(
instance
?SPORT
Sport
)
(
eventLocated
?SPORT ?GROUND)))))
Mid-level-ontology.kif 15677-15683
Wenn
Physical
ist ein
fall
von
SportsGround
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Sport
%n{nicht} und
eventLocated
** entity
and
** Physical
%n{nicht}
(=>
(
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
Wenn
Entity
ist ein
fall
von
Hurricane
%n{nicht},
dann es gibt
Process
,
GeographicArea
, and und
RealNumber
um
** Process
ist ein
fall
von
TropicalCyclone
%n{nicht} und
** GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
eventLocated
** Process
and
** GeographicArea
und
** RealNumber
MilesPerHour
(s) ist gleich
Mean1MinuteWindSpeedFn
** GeographicArea
and die
zeit
des Bestehens von
** Process
%n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
74.0 %n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
HeavyRaining
%n{nicht},
dann es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Region
%n{nicht} und
eventLocated
** Physical
and
** entity
und
rainfallIntensity
** entity
, die
zeit
des Bestehens von
** Physical
and
PerFn
** ** entity
Millimeter
(s) and 1
HourDuration
(s) und
** ** entity
ist
groesserAls
10.0 %n{nicht} und 50.0 ist
groesserAls
** ** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Physical
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
HeavySurf
%n{nicht},
dann es gibt
WaterArea
und
RealNumber
um
** WaterArea
ist ein
fall
von
SurfZone
%n{nicht} und
eventLocated
** Process
and
** WaterArea
und
significantWaveHeight
** WaterArea
, die
zeit
des Bestehens von
** Process
and
** RealNumber
FootLength
(s) und
** RealNumber
ist
groesserAlsOderGleich
13.0 %n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
HeavySurf
%n{nicht},
dann es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
SurfZone
%n{nicht} und
** ** entity
ist ein
fall
von
WaterWave
%n{nicht} und
** ** entity
ist ein
subProzess
von
** Physical
und
eventLocated
** ** entity
and
** entity
haelt
waehrend
die
zeit
des Bestehens von
** Physical
%n{nicht}
(=>
(
instance
?I
Imprisoning
)
(
exists
(?P)
(
and
(
instance
?P
Prison
)
(
eventLocated
?I ?P))))
Mid-level-ontology.kif 13924-13929
Wenn
Process
ist ein
fall
von
Imprisoning
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Prison
%n{nicht} und
eventLocated
** Process
and
** Object
(=>
(
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
Wenn
Physical
ist ein
fall
von
IntermittentCombustionEngine
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Explosion
%n{nicht} und
** ** entity
ist ein
fall
von
Motion
%n{nicht} und
eventLocated
** entity
and
** Physical
und
eventLocated
** ** entity
and
** Physical
und
** entity
verursacht
** ** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
IgnitionControlModule
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** ** entity
ist ein
fall
von
Automobile
%n{nicht} und
** entity
ist ein
fall
von
Spark
%n{nicht} und
** ** entity
ist ein
fall
von
ComputerProcess
%n{nicht} und
** Physical
ist ein
teil
von
** ** entity
%n{nicht} und
eventLocated
** ** entity
and
** ** entity
und
eventLocated
** entity
and
** ** entity
und
** ** entity
verursacht
** entity
%n{nicht} %n{nicht}
(=>
(
instance
?K
KitchenArea
)
(
hasPurpose
?K
(
exists
(?C)
(
and
(
instance
?C
Cooking
)
(
eventLocated
?C ?K)))))
Mid-level-ontology.kif 15546-15552
Wenn
Physical
ist ein
fall
von
KitchenArea
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Cooking
%n{nicht} und
eventLocated
** entity
and
** Physical
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
Kennel
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
DomesticAnimal
%n{nicht} und
** ** entity
ist ein
fall
von
Confining
%n{nicht} und
** entity
ist ein
patient
von
** ** entity
%n{nicht} und
eventLocated
** ** entity
and
** Physical
%n{nicht}
(=>
(
instance
?L
Lightning
)
(
exists
(?C)
(
and
(
instance
?C
Cloud
)
(
eventLocated
?L ?C))))
Mid-level-ontology.kif 3043-3048
Wenn
Process
ist ein
fall
von
Lightning
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Cloud
%n{nicht} und
eventLocated
** Process
and
** Object
(=>
(
instance
?LAB
Laboratory
)
(
exists
(?EXPERIMENT)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
eventLocated
?EXPERIMENT ?LAB))))
Mid-level-ontology.kif 15710-15715
Wenn
Object
ist ein
fall
von
Laboratory
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Experimenting
%n{nicht} und
eventLocated
** Process
and
** Object
(=>
(
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
Wenn
Process
ist ein
fall
von
Landing
%n{nicht},
dann es gibt
Entity
und
** Process
um
** Entity
ist ein
fall
von
AtmosphericRegion
nicht und
eventLocated
** Process
and
** Entity
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
fall
von
Flying
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
SurfaceWindSpeedMeasuring
%n{nicht},
dann es gibt
Object
und
** Object
um
** Object
ist ein
fall
von
GeographicArea
%n{nicht} und
** ** Object
ist ein
fall
von
Device
%n{nicht} und
eventLocated
** Process
and
** Object
und
** ** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
elevation
** ** Object
and 10.0
Meter
(s) haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
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