eventLocated
(=>
(
and
(
instance
?TSC
TwoStrokeCompression
)
(
eventLocated
?TSC ?E)
(
instance
?E
TwoStrokeEngine
))
(
exists
(?C)
(
and
(
instance
?C
Explosion
)
(
during
?C ?TSC)
(
eventLocated
?C ?E))))
Cars.kif 491-500
Wenn
TimeInterval
ist ein
fall
von
TwoStrokeCompression
%n{nicht} und
eventLocated
** TimeInterval
and
Object
und
** Object
ist ein
fall
von
TwoStrokeEngine
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
Explosion
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
eventLocated
** ** TimeInterval
and
** Object
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumber12
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN)))
(
exists
(?SPEED)
(
and
(
greaterThan
?SPEED 73.0)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED
MilesPerHour
))))))
Weather.kif 484-496
Wenn
Process
ist ein
fall
von
Wind
%n{nicht} und
Entity
ist ein
fall
von
BeaufortNumber12
%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
73.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
surfaceWindSpeed
** Object
and
** RealNumber
MilesPerHour
(s)
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
Wenn
Process
ist ein
fall
von
Wind
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
BeaufortNumberAttribute
%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
surfaceWindSpeed
** Object
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
Wenn
Collection
ist ein
fall
von
Buffet
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Collection
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Eating
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
eventLocated
** Process
and
Object
und
** Physical
ist ein
patient
von
** Process
%n{nicht},
dann
** Object
ist gleich
** Object
nicht und es gibt
** Process
um
** ** Process
ist ein
fall
von
Getting
%n{nicht} und
** Physical
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
beginnet an
** ** Object
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und die
zeit
des Bestehens von
** ** Process
geschieht
vor
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?CLASS)
(
subclass
?CLASS
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?CLASS ?TIME ?PLACE))
Mid-level-ontology.kif 23260-23267
Wenn
playsRoleInEvent
Object
,
CaseRole
and
Process
und
** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
ist eine
teilkategorie
von
Process
und
** Process
besteht
waehrend
TimePosition
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
playsRoleInEventOfType
** Object
,
** CaseRole
,
** ** ** Process
,
** TimePosition
and
** ** Object
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?TYPE)
(
subclass
?TYPE
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?TYPE ?TIME ?PLACE))
Mid-level-ontology.kif 23289-23296
Wenn
playsRoleInEvent
Object
,
CaseRole
and
Process
und
** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
ist eine
teilkategorie
von
Process
und
** Process
besteht
waehrend
TimePosition
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
playsRoleInEventOfType
** Object
,
** CaseRole
,
** ** ** Process
,
** TimePosition
and
** ** Object
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23312-23317
Wenn
playsRoleInEvent
Object
,
CaseRole
and
Process
und
** Process
besteht
waehrend
TimePosition
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
locatedAtTime
** Object
,
** TimePosition
and
** ** Object
(=>
(
and
(
prevents
?X ?P)
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
not
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?P)
(
eventLocated
?Y ?L))))))
Merge.kif 4376-4386
Wenn
Process
verhindert
das Auftreten von
** ** Process
und die
zeit
des Bestehens von
** Process
ist gleich
TimeInterval
%n{nicht} und
eventLocated
** Process
and
Object
,
dann es gibt
entity
um
** entity
ist ein
fall
von
** ** Process
%n{nicht} und
eventLocated
** entity
and
** Object
haelt
waehrend
** TimeInterval
nicht
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
Wenn
** Process
ist eine
teilkategorie
von
Process
und
** Process
ist ein
fall
von
** Process
%n{nicht} und
eventLocated
** ** Process
and
Region
und
CaseRole
ist ein
fall
von
CaseRole
%n{nicht} und
Object
ist ein
fall
von
Object
%n{nicht} und
** Region
ist ein
fall
von
GeographicArea
%n{nicht} und
** CaseRole
** ** Process
and
** Object
,
dann
capableAtLocation
** ** Process
,
** CaseRole
,
** Object
and
** Region
(=>
(
and
(
subclass
?TYPE
WaterVehicle
)
(
instance
?EVENT
(
TransportationFn
?TYPE))
(
eventLocated
?EVENT ?PLACE))
(
instance
?PLACE
WaterArea
))
Transportation.kif 2287-2292
Wenn
** TransportationDevice
ist eine
teilkategorie
von
WaterVehicle
und
Process
ist ein
fall
von
TransportationFn
** TransportationDevice
%n{nicht} und
eventLocated
** Process
and
Object
,
dann
** Object
ist ein
fall
von
WaterArea
%n{nicht}
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2728-2748
Wenn
visibilityInMeteorology
Region
,
TimeInterval
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und
** TimeInterval
ist ein
fall
von
DayTime
%n{nicht} und
Process
ist ein
fall
von
Looking
%n{nicht} und
Object
ist ein
fall
von
Object
%n{nicht} und
color
** Object
and
Black
und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** AutonomousAgent
ist
Horizontal
hinsichlich
** Object
%n{nicht} und
eventLocated
** Process
and
** Region
und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht},
dann es gibt
** RealNumber
um der
abstand
zwischen
** AutonomousAgent
und
** Object
ist
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2750-2771
Wenn
visibilityInMeteorology
Region
,
TimeInterval
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und
** TimeInterval
ist ein
fall
von
NightTime
%n{nicht} und
Process
ist ein
fall
von
Looking
%n{nicht} und
Object
ist ein
fall
von
Region
%n{nicht} und
Illuminated
ist ein
attribut
von
** Object
%n{nicht} und das
mass
von
** Object
ist 1000.0
Candela
(s) %n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** AutonomousAgent
ist
Horizontal
hinsichlich
** Object
%n{nicht} und
eventLocated
** Process
and
** Region
und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht},
dann es gibt
** RealNumber
um der
abstand
zwischen
** AutonomousAgent
und
** Object
ist
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
Wenn
eventLocated
Process
and
Object
,
dann fuer alle
** Process
wenn
** ** Process
ist ein
subProzess
von
** Process
,
dann
eventLocated
** ** Process
and
** Object
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