meetsTemporally
(=>
(
instance
?B
Breath
)
(
exists
(?I ?E)
(
and
(
subProcess
?I ?B)
(
subProcess
?E ?B)
(
earlier
(
WhenFn
?I)
(
WhenFn
?E))
(
meetsTemporally
(
WhenFn
?I)
(
WhenFn
?E)))))
Mid-level-ontology.kif 10362-10373
Wenn
Process
ist ein
fall
von
Breath
%n{nicht},
dann es gibt
** Process
und
** Process
um
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
subProzess
von
** Process
und die
zeit
des Bestehens von
** ** Process
geschieht frueh als die
zeit
des Bestehens von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
schliesst
die
zeit
des Bestehens von
** ** Process
zeitlich an
(=>
(
instance
?DAY
DayTime
)
(
exists
(?NIGHT1 ?NIGHT2)
(
and
(
instance
?NIGHT1
NightTime
)
(
instance
?NIGHT2
NightTime
)
(
meetsTemporally
?DAY ?NIGHT1)
(
meetsTemporally
?NIGHT2 ?DAY))))
Merge.kif 8892-8899
Wenn
TimeInterval
ist ein
fall
von
DayTime
%n{nicht},
dann es gibt
** TimeInterval
und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
NightTime
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
NightTime
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
instance
?FLOOD
FlashFlooding
)
(
exists
(?WATER ?HOUR)
(
and
(
instance
?WATER
WaterMotion
)
(
causes
?WATER ?FLOOD)
(
meetsTemporally
(
WhenFn
?WATER)
(
WhenFn
?FLOOD))
(
duration
(
WhenFn
?WATER)
(
MeasureFn
?HOUR
HourDuration
))
(
lessThan
?HOUR 6.0))))
Weather.kif 1626-1638
Wenn
Process
ist ein
fall
von
FlashFlooding
%n{nicht},
dann es gibt
** Process
und
RealNumber
um
** ** Process
ist ein
fall
von
WaterMotion
%n{nicht} und
** ** Process
verursacht
** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
schliesst
die
zeit
des Bestehens von
** Process
zeitlich an und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** RealNumber
HourDuration
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
6.0 %n{nicht}
(=>
(
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
?FSE
FourStrokeEngineCycle
)
(
exists
(?I ?CM ?CB ?E ?I2)
(
and
(
instance
?I
FourStrokeIntake
)
(
instance
?CM
FourStrokeCompression
)
(
instance
?CB
FourStrokeCombustion
)
(
instance
?E
FourStrokeExhaust
)
(
instance
?I2
FourStrokeIntake
)
(
subProcess
?I ?FSE)
(
subProcess
?CM ?FSE)
(
subProcess
?CB ?FSE)
(
subProcess
?E ?FSE)
(
subProcess
?I2 ?FSE)
(
meetsTemporally
?I ?CM)
(
meetsTemporally
?CM ?CB)
(
meetsTemporally
?CB ?E)
(
meetsTemporally
?E ?I2))))
Cars.kif 147-164
Wenn
Process
ist ein
fall
von
FourStrokeEngineCycle
%n{nicht},
dann es gibt
TimeInterval
,
** TimeInterval
,, ,
** TimeInterval
,, ,
** TimeInterval
, and und
** TimeInterval
2 um
** TimeInterval
ist ein
fall
von
FourStrokeIntake
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
FourStrokeCompression
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
FourStrokeCombustion
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
FourStrokeExhaust
%n{nicht} und
** TimeInterval
2 ist ein
fall
von
FourStrokeIntake
%n{nicht} und
** TimeInterval
ist ein
subProzess
von
** Process
und
** ** TimeInterval
ist ein
subProzess
von
** Process
und
** ** TimeInterval
ist ein
subProzess
von
** Process
und
** ** TimeInterval
ist ein
subProzess
von
** Process
und
** TimeInterval
2 ist ein
subProzess
von
** Process
und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** TimeInterval
2 zeitlich an
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8508-8510
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann
vor
** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8539-8541
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann
** TimeInterval
schliesst
nach
** TimeInterval
zeitlich an
(=>
(
instance
?LIST
ListOnSite
)
(
exists
(?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
(
and
(
instance
?SITE
WebSite
)
(
instance
?ADVERT
WebListing
)
(
instance
?EARLIER
TimeInterval
)
(
instance
?AFTER
TimeInterval
)
(
patient
?LIST ?ADVERT)
(
equal
(
EndFn
?EARLIER)
(
EndFn
?LIST))
(
earlier
?LIST ?AFTER)
(
meetsTemporally
?LIST ?AFTER)
(
holdsDuring
?EARLIER
(
not
(
hostedOn
?ADVERT ?SITE)))
(
holdsDuring
?AFTER
(
hostedOn
?ADVERT ?SITE))
(
agent
?LIST ?OWNER)
(
possesses
?OWNER ?SITE))))
UXExperimentalTerms.kif 266-286
Wenn
TimeInterval
ist ein
fall
von
ListOnSite
%n{nicht},
dann es gibt
Object
,
Entity
,, ,
** TimeInterval
,, ,
** TimeInterval
, and und
AutonomousAgent
um
** Object
ist ein
fall
von
WebSite
%n{nicht} und
** Entity
ist ein
fall
von
WebListing
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** Entity
ist ein
patient
von
** TimeInterval
%n{nicht} und das
ende
von
** ** TimeInterval
ist gleich das
ende
von
** TimeInterval
%n{nicht} und
** TimeInterval
geschieht frueh als
** ** TimeInterval
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an und
hostedOn
** Entity
and
** Object
haelt
waehrend
** ** TimeInterval
%n{nicht} und
hostedOn
** Entity
and
** Object
haelt
waehrend
** ** TimeInterval
%n{nicht} und
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht}
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?DAY1 ?DAY2)
(
and
(
instance
?DAY1
DayTime
)
(
instance
?DAY2
DayTime
)
(
meetsTemporally
?NIGHT ?DAY1)
(
meetsTemporally
?DAY2 ?NIGHT))))
Merge.kif 8914-8921
Wenn
TimeInterval
ist ein
fall
von
NightTime
%n{nicht},
dann es gibt
** TimeInterval
und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
DayTime
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
DayTime
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19165-19170
Wenn
TimeInterval
ist ein
fall
von
SpringSeason
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
SummerSeason
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19172-19177
Wenn
TimeInterval
ist ein
fall
von
SpringSeason
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
WinterSeason
%n{nicht} und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19190-19195
Wenn
TimeInterval
ist ein
fall
von
SummerSeason
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
FallSeason
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19183-19188
Wenn
TimeInterval
ist ein
fall
von
SummerSeason
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
SpringSeason
%n{nicht} und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
instance
?T
TwoStrokeEngineCycle
)
(
exists
(?I ?C ?TT ?I2)
(
and
(
instance
?I
TwoStrokeIntake
)
(
instance
?C
TwoStrokeCompression
)
(
instance
?TT
TwoStrokeTransfer
)
(
instance
?I2
TwoStrokeIntake
)
(
subProcess
?I ?T)
(
subProcess
?C ?T)
(
subProcess
?TT ?T)
(
subProcess
?I2 ?T)
(
meetsTemporally
?I ?C)
(
meetsTemporally
?C ?TT)
(
meetsTemporally
?TT ?I2))))
Cars.kif 264-278
Wenn
Process
ist ein
fall
von
TwoStrokeEngineCycle
%n{nicht},
dann es gibt
TimeInterval
,
** TimeInterval
,, ,
** Process
T, and und
** TimeInterval
2 um
** TimeInterval
ist ein
fall
von
TwoStrokeIntake
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TwoStrokeCompression
%n{nicht} und
** Process
T ist ein
fall
von
TwoStrokeTransfer
%n{nicht} und
** TimeInterval
2 ist ein
fall
von
TwoStrokeIntake
%n{nicht} und
** TimeInterval
ist ein
subProzess
von
** Process
und
** ** TimeInterval
ist ein
subProzess
von
** Process
und
** Process
T ist ein
subProzess
von
** Process
und
** TimeInterval
2 ist ein
subProzess
von
** Process
und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** Process
T zeitlich an und
** Process
T
schliesst
** TimeInterval
2 zeitlich an
(=>
(
instance
?T1
Advent
)
(
exists
(?T2)
(
and
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 369-374
Wenn
TimeInterval
ist ein
fall
von
Advent
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
ChristmasDay
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
instance
?T1
ChristmasDay
)
(
exists
(?T2)
(
and
(
instance
?T2
Advent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 362-367
Wenn
TimeInterval
ist ein
fall
von
ChristmasDay
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
Advent
%n{nicht} und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
instance
?T1
EasterSunday
)
(
exists
(?T2)
(
and
(
instance
?T2
Lent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 430-435
Wenn
TimeInterval
ist ein
fall
von
EasterSunday
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
Lent
%n{nicht} und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
instance
?T1
Lent
)
(
exists
(?T2)
(
and
(
instance
?T2
EasterSunday
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 423-428
Wenn
TimeInterval
ist ein
fall
von
Lent
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
EasterSunday
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
instance
?VCC
VaporCompressionCycle
)
(
exists
(?CMP ?COND ?EV ?CMP2)
(
and
(
instance
?CMP
Compressing
)
(
instance
?COND
Condensing
)
(
instance
?EV
Evaporating
)
(
instance
?CMP2
Compressing
)
(
subProcess
?CMP ?VCC)
(
subProcess
?COND ?VCC)
(
subProcess
?EV ?VCC)
(
subProcess
?CMP2 ?VCC)
(
meetsTemporally
(
WhenFn
?CMP)
(
WhenFn
?COND))
(
meetsTemporally
(
WhenFn
?COND)
(
WhenFn
?EV))
(
meetsTemporally
(
WhenFn
?EV)
(
WhenFn
?CMP2)))))
Cars.kif 2029-2049
Wenn
Process
ist ein
fall
von
VaporCompressionCycle
%n{nicht},
dann es gibt
** Process
,
** Process
,, ,
** Process
, and und
** ** Process
2 um
** ** Process
ist ein
fall
von
Compressing
%n{nicht} und
** ** Process
ist ein
fall
von
Condensing
%n{nicht} und
** ** Process
ist ein
fall
von
Evaporating
%n{nicht} und
** ** Process
2 ist ein
fall
von
Compressing
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
2 ist ein
subProzess
von
** Process
und die
zeit
des Bestehens von
** ** Process
schliesst
die
zeit
des Bestehens von
** ** Process
zeitlich an und die
zeit
des Bestehens von
** ** Process
schliesst
die
zeit
des Bestehens von
** ** Process
zeitlich an und die
zeit
des Bestehens von
** ** Process
schliesst
die
zeit
des Bestehens von
** ** Process
2 zeitlich an
(=>
(
instance
?WEEKEND
Weekend
)
(
exists
(?SATURDAY ?SUNDAY)
(
and
(
instance
?SATURDAY
Saturday
)
(
instance
?SUNDAY
Sunday
)
(
starts
?SATURDAY ?WEEKEND)
(
finishes
?SUNDAY ?WEEKEND)
(
meetsTemporally
?SATURDAY ?SUNDAY))))
Mid-level-ontology.kif 19120-19128
Wenn
TimeInterval
ist ein
fall
von
Weekend
%n{nicht},
dann es gibt
** TimeInterval
und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
Saturday
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
Sunday
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19152-19157
Wenn
TimeInterval
ist ein
fall
von
WinterSeason
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
FallSeason
%n{nicht} und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19145-19150
Wenn
TimeInterval
ist ein
fall
von
WinterSeason
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
SpringSeason
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
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