eventLocated
(=>
(
and
(
instance
?F
FourStrokeCompression
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
attribute
?I
Pressurized
)))
Cars.kif 191-200
Wenn
Process
ist ein
fall
von
FourStrokeCompression
%n{nicht} und
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
Pressurized
ist ein
attribut
von
** HoleRegion
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?F
FourStrokeExhaust
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?F)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 225-238
Wenn
Process
ist ein
fall
von
FourStrokeExhaust
%n{nicht} und
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann es gibt
Entity
und
** Process
um
** ** Process
ist ein
fall
von
GasMotion
%n{nicht} und
** Entity
ist ein
fall
von
Exhaust
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
beginnet an
** HoleRegion
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
Wenn
Process
ist ein
fall
von
FourStrokeIntake
%n{nicht} und
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann es gibt
** Process
V und
** Process
um
** ** Process
ist ein
fall
von
GasMotion
%n{nicht} und
** Process
V ist ein
fall
von
FuelVapor
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
endet an
** HoleRegion
%n{nicht} und
** Process
V ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
and
(
instance
?F
MilitaryForce
)
(
instance
?P
Human
)
(
instance
?I
Imprisoning
)
(
member
?P ?F)
(
agent
?I ?E)
(
patient
?I ?P)
(
enemy
?E ?P)
(
eventLocated
?I ?LOC)
(
attribute
?LOC
WarState
))
(
attribute
?P
PrisonerOfWar
))
MilitaryPersons.kif 285-296
Wenn
Collection
ist ein
fall
von
MilitaryForce
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Process
ist ein
fall
von
Imprisoning
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
patient
von
** Process
%n{nicht} und
enemy
** ** AutonomousAgent
and
** AutonomousAgent
und
eventLocated
** Process
and
Object
und
WarState
ist ein
attribut
von
** Object
%n{nicht},
dann
PrisonerOfWar
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
Wenn
Object
ist ein
fall
von
NuclearWeaponProductionFacility
%n{nicht} und
Process
ist ein
fall
von
DevelopingWeaponOfMassDestruction
%n{nicht} und
eventLocated
** Process
and
** Object
und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
NuclearWeapon
%n{nicht}
(=>
(
and
(
instance
?FACILITY
NuclearWeaponResearchFacility
)
(
instance
?RESEARCH
ResearchingWeaponOfMassDestruction
)
(
eventLocated
?RESEARCH ?FACILITY))
(
refers
?RESEARCH
NuclearWeapon
))
WMD.kif 666-671
Wenn
Object
ist ein
fall
von
NuclearWeaponResearchFacility
%n{nicht} und
Process
ist ein
fall
von
ResearchingWeaponOfMassDestruction
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
** Process
umfasst einen
hinweis
auf
NuclearWeapon
(=>
(
and
(
instance
?FOG
Fogging
)
(
eventLocated
?FOG ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
instance
?A
Aerosal
)
(
locatedAtTime
?A
(
WhenFn
?FOG) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?FOG)
(
MeasureFn
?VISIBILITY
Meter
)))
(
lessThan
?VISIBILITY 1000.0))
Weather.kif 2537-2550
Wenn
Process
ist ein
fall
von
Fogging
%n{nicht} und
eventLocated
** Process
and
Region
und
** Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Object
ist ein
fall
von
AtmosphericRegion
%n{nicht} und
** Object
ist
Above
hinsichlich
** Region
%n{nicht} und
** Object
ist ein
fall
von
Aerosal
%n{nicht} und
locatedAtTime
** ** Object
, die
zeit
des Bestehens von
** Process
and
** Object
und
visibilityInMeteorology
** Region
, die
zeit
des Bestehens von
** Process
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAls
1000.0 %n{nicht}
(=>
(
and
(
instance
?GRP
MarchingBand
)
(
instance
?MP
MusicalPerformance
)
(
agent
?MP ?GRP)
(
instance
?OD
Outdoors
)
(
eventLocated
?MP ?OD))
(
exists
(?AMB)
(
and
(
instance
?AMB
Ambulating
)
(
subProcess
?AMB ?MP))))
Music.kif 986-996
Wenn
AutonomousAgent
ist ein
fall
von
MarchingBand
%n{nicht} und
Process
ist ein
fall
von
MusicalPerformance
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
Outdoors
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Ambulating
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
eventLocated
** Process
and
Object
und
** Object
ist ein
fall
von
GeographicArea
%n{nicht} und
** Object
befindet
sich an %n{nicht} oder
** Object
schliesst
** Object
raeumlich an,
dann
** ** Object
ist gleich
NortheasternPacificOcean
%n{nicht} oder
** ** Object
ist gleich
NorthAtlanticOcean
%n{nicht}
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWS5
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS)))
(
exists
(?WIND)
(
and
(
greaterThan
?WIND 157.0)
(
believes
?A
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2443-2457
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
Entity
ist ein
fall
von
SSHWS5
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
157.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** RealNumber
MilesPerHour
(s) ist gleich
Mean1MinuteWindSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
SSHWSAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
** UnitOfMeasure
(s) ist gleich
Mean1MinuteWindSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 2566-2580
Wenn
Process
ist ein
fall
von
AtmosphericHazing
%n{nicht} und
eventLocated
** Process
and
Region
und
** Region
ist ein
fall
von
GeographicArea
%n{nicht} und
Object
ist ein
fall
von
AtmosphericRegion
%n{nicht} und
** Object
ist
Above
hinsichlich
** Region
%n{nicht} und
locatedAtTime
** Object
, die
zeit
des Bestehens von
** Process
and
** Object
und
visibilityInMeteorology
** Region
, die
zeit
des Bestehens von
** Process
and
RealNumber
Kilometer
(s),
dann
** RealNumber
ist
groesserAls
2.0 %n{nicht} und
** RealNumber
ist
kleinerAls
5.0 %n{nicht}
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
Wenn
Process
ist ein
fall
von
AtmosphericHazing
%n{nicht} und
Object
ist ein
fall
von
GeographicArea
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann die Aussage
BadAirQuality
ist ein
attribut
von
** Object
%n{nicht} hat die modale Kraft von
Likely
haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?HS
HeavySurf
)
(
instance
?PLACE
WaterArea
)
(
eventLocated
?HS ?PLACE))
(
exists
(?SWIM ?A)
(
and
(
instance
?SWIM
Swimming
)
(
instance
?A
Human
)
(
agent
?SWIM ?A)
(
eventLocated
?SWIM ?PLACE)
(
holdsDuring
(
WhenFn
?HS)
(
hazardous
?HS ?A)))))
Weather.kif 1579-1592
Wenn
Process
ist ein
fall
von
HeavySurf
%n{nicht} und
Object
ist ein
fall
von
WaterArea
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann es gibt
** Process
und
AutonomousAgent
um
** ** Process
ist ein
fall
von
Swimming
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
eventLocated
** ** Process
and
** Object
und
hazardous
** Process
and
** AutonomousAgent
haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?LOW
LowTide
)
(
instance
?HIGH
HighTide
)
(
eventLocated
?LOW ?PLACE)
(
eventLocated
?HIGH ?PLACE)
(
instance
?DAY
Day
)
(
overlapsTemporally
?LOW ?DAY)
(
overlapsTemporally
?HIGH ?DAY))
(
exists
(?AMOUNT1 ?AMOUNT2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
?LOW
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT1 ?U)))
(
holdsDuring
?HIGH
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT2 ?U)))
(
greaterThan
?AMOUNT2 ?AMOUNT1))))
Geography.kif 4958-4976
Wenn
TimeInterval
ist ein
fall
von
LowTide
%n{nicht} und
** TimeInterval
ist ein
fall
von
HighTide
%n{nicht} und
eventLocated
** TimeInterval
and
Object
und
eventLocated
** ** TimeInterval
and
** Object
und
** TimeInterval
ist ein
fall
von
Day
%n{nicht} und
** ** TimeInterval
deckt
sich mit
** TimeInterval
%n{nicht} und
** ** TimeInterval
deckt
sich mit
** ** TimeInterval
%n{nicht},
dann es gibt
RealNumber
,
** RealNumber
, and und
Entity
um
** Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
waterDepth
** Object
and
** RealNumber
** Entity
(s) haelt
waehrend
** TimeInterval
%n{nicht} und
waterDepth
** Object
and
** ** RealNumber
** Entity
(s) haelt
waehrend
** ** TimeInterval
%n{nicht} und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?OP
MilitaryOperation
)
(
eventLocated
?OP ?REGION)
(
instance
?REGION
Region
))
(
areaOfOperation
?REGION ?OP))
MilitaryProcesses.kif 1326-1331
Wenn
MilitaryOperation
ist ein
fall
von
MilitaryOperation
%n{nicht} und
eventLocated
** MilitaryOperation
and
Region
und
** Region
ist ein
fall
von
Region
%n{nicht},
dann
areaOfOperation
** Region
and
** MilitaryOperation
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
Wenn
Process
ist ein
fall
von
OpeningAnAccount
%n{nicht} und
eventLocated
** Process
and
FinancialOrganization
und
** FinancialOrganization
ist ein
fall
von
FinancialOrganization
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht},
dann es gibt
FinancialAccount
und
** FinancialAccount
Period um
agreementPeriod
** FinancialAccount
and
** FinancialAccount
Period und
** Process
Time
schliesst
** FinancialAccount
Period zeitlich an und
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
accountAt
** FinancialAccount
and
** FinancialOrganization
und
accountHolder
** FinancialAccount
and
** CognitiveAgent
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
Wenn
Process
ist ein
fall
von
Process
%n{nicht} und
eventLocated
** Process
and
Object
und
** Process
ist ein
subProzess
von
** Process
,
dann
eventLocated
** ** Process
and
** Object
(=>
(
and
(
instance
?SHOCK
Aftershock
)
(
eventLocated
?SHOCK ?PLACE))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
eventLocated
?TREMOR ?PLACE)
(
before
(
WhenFn
?TREMOR)
(
WhenFn
?SHOCK)))))
Geography.kif 2328-2338
Wenn
Process
ist ein
fall
von
Aftershock
%n{nicht} und
eventLocated
** Process
and
Object
,
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
EarthTremor
%n{nicht} und
eventLocated
** ** Process
and
** Object
und die
zeit
des Bestehens von
** ** Process
geschieht
vor
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?SYSTEM
HighPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
greaterThan
?AMOUNT 30.2)))
Weather.kif 802-808
Wenn
Process
ist ein
fall
von
HighPressureWeatherSystem
%n{nicht} und
eventLocated
** Process
and
Object
,
dann
barometricPressure
** Object
and
RealNumber
InchMercury
(s) und
** RealNumber
ist
groesserAls
30.2 %n{nicht}
(=>
(
and
(
instance
?SYSTEM
LowPressureWeatherSystem
)
(
eventLocated
?SYSTEM ?AREA))
(
and
(
barometricPressure
?AREA
(
MeasureFn
?AMOUNT
InchMercury
))
(
lessThan
?AMOUNT 29.5)))
Weather.kif 543-549
Wenn
Process
ist ein
fall
von
LowPressureWeatherSystem
%n{nicht} und
eventLocated
** Process
and
Object
,
dann
barometricPressure
** Object
and
RealNumber
InchMercury
(s) und
** RealNumber
ist
kleinerAls
29.5 %n{nicht}
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EF5
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF)))
(
exists
(?GUST)
(
and
(
greaterThan
?GUST 200.0)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2191-2205
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
Entity
ist ein
fall
von
EF5
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
200.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** RealNumber
MilesPerHour
(s) ist gleich
ThreeSecondGustSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
EFScaleAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
MilesPerHour
(s) and
** RealNumber
MilesPerHour
(s),
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
MilesPerHour
(s) ist gleich
ThreeSecondGustSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?T
TwoStrokeTransfer
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?T ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?T)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 523-536
Wenn
Process
ist ein
fall
von
TwoStrokeTransfer
%n{nicht} und
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann es gibt
Entity
und
** Process
um
** ** Process
ist ein
fall
von
GasMotion
%n{nicht} und
** Entity
ist ein
fall
von
Exhaust
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
beginnet an
** HoleRegion
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
Wenn
Process
ist ein
fall
von
Typhoon
%n{nicht} und
eventLocated
** Process
and
Object
und
** Object
ist ein
fall
von
GeographicArea
%n{nicht},
dann
** Object
befindet
sich an %n{nicht} oder
** Object
schliesst
NorthwesternPacificOcean
raeumlich an
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