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
Processo
è un'
istanza
di
Breath
Processo
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Processo
(=>
(
instance
?DAY
DayTime
)
(
exists
(?NIGHT1 ?NIGHT2)
(
and
(
instance
?NIGHT1
NightTime
)
(
instance
?NIGHT2
NightTime
)
(
meetsTemporally
?DAY ?NIGHT1)
(
meetsTemporally
?NIGHT2 ?DAY))))
Merge.kif 8892-8899
IntervalloTemporale
è un'
istanza
di
DayTime
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
NightTime
IntervalloTemporale
è un'
istanza
di
NightTime
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
Processo
è un'
istanza
di
FlashFlooding
Processo
NumeroReale
Processo
è un'
istanza
di
WaterMotion
Processo
causa
s
Processo
il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Processo
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
HourDuration
(s
NumeroReale
è
meno
di6.0
(=>
(
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
Entit�Concreta
è un'
istanza
di
FourStrokeEngine
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
2
Entit�
è un'
istanza
di
FourStrokeIntake
Entit�
è un'
istanza
di
FourStrokeCompression
Entit�
è un'
istanza
di
FourStrokeCombustion
Entit�
è un'
istanza
di
FourStrokeExhaust
Entit�
2 è un'
istanza
di
FourStrokeIntake
eventLocated
Entit�
and
Entit�Concreta
eventLocated
Entit�
and
Entit�Concreta
eventLocated
Entit�
and
Entit�Concreta
eventLocated
Entit�
and
Entit�Concreta
eventLocated
Entit�
2 and
Entit�Concreta
Entit�
incontra
s
Entit�
Entit�
incontra
s
Entit�
Entit�
incontra
s
Entit�
Entit�
incontra
s
Entit�
2
(=>
(
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
Processo
è un'
istanza
di
FourStrokeEngineCycle
IntervalloTemporale
IntervalloTemporale
,
IntervalloTemporale
,
IntervalloTemporale
and
IntervalloTemporale
2
IntervalloTemporale
è un'
istanza
di
FourStrokeIntake
IntervalloTemporale
è un'
istanza
di
FourStrokeCompression
IntervalloTemporale
è un'
istanza
di
FourStrokeCombustion
IntervalloTemporale
è un'
istanza
di
FourStrokeExhaust
IntervalloTemporale
2 è un'
istanza
di
FourStrokeIntake
IntervalloTemporale
è un
sottoprocesso
di
Processo
IntervalloTemporale
è un
sottoprocesso
di
Processo
IntervalloTemporale
è un
sottoprocesso
di
Processo
IntervalloTemporale
è un
sottoprocesso
di
Processo
IntervalloTemporale
2 è un
sottoprocesso
di
Processo
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
2
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
(
PastFn
?INTERVAL) ?INTERVAL))
Merge.kif 8508-8510
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
prima
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?INTERVAL
TimeInterval
)
(
meetsTemporally
?INTERVAL
(
FutureFn
?INTERVAL)))
Merge.kif 8539-8541
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
incontra
s
dopo
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di
ListOnSite
Oggetto
Entit�
,
IntervalloTemporale
,
IntervalloTemporale
and
AutonomousAgent
Oggetto
è un'
istanza
di
WebSite
Entit�
è un'
istanza
di
WebListing
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Entit�
è un
paziente
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
hostedOn
Entit�
and
Oggetto
vales
durante
IntervalloTemporale
hostedOn
Entit�
and
Oggetto
vales
durante
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
possiede
es
Oggetto
(=>
(
instance
?NIGHT
NightTime
)
(
exists
(?DAY1 ?DAY2)
(
and
(
instance
?DAY1
DayTime
)
(
instance
?DAY2
DayTime
)
(
meetsTemporally
?NIGHT ?DAY1)
(
meetsTemporally
?DAY2 ?NIGHT))))
Merge.kif 8914-8921
IntervalloTemporale
è un'
istanza
di
NightTime
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
DayTime
IntervalloTemporale
è un'
istanza
di
DayTime
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?SUMMER)
(
and
(
instance
?SUMMER
SummerSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19165-19170
IntervalloTemporale
è un'
istanza
di
SpringSeason
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
SummerSeason
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?SPRING
SpringSeason
)
(
exists
(?WINTER)
(
and
(
instance
?WINTER
WinterSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19172-19177
IntervalloTemporale
è un'
istanza
di
SpringSeason
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
WinterSeason
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19190-19195
IntervalloTemporale
è un'
istanza
di
SummerSeason
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
FallSeason
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?SUMMER
SummerSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?SPRING ?SUMMER))))
Mid-level-ontology.kif 19183-19188
IntervalloTemporale
è un'
istanza
di
SummerSeason
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
SpringSeason
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
Processo
è un'
istanza
di
TwoStrokeEngineCycle
IntervalloTemporale
IntervalloTemporale
,
Processo
T and
IntervalloTemporale
2
IntervalloTemporale
è un'
istanza
di
TwoStrokeIntake
IntervalloTemporale
è un'
istanza
di
TwoStrokeCompression
Processo
T è un'
istanza
di
TwoStrokeTransfer
IntervalloTemporale
2 è un'
istanza
di
TwoStrokeIntake
IntervalloTemporale
è un
sottoprocesso
di
Processo
IntervalloTemporale
è un
sottoprocesso
di
Processo
Processo
T è un
sottoprocesso
di
Processo
IntervalloTemporale
2 è un
sottoprocesso
di
Processo
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
Processo
T
Processo
T
incontra
s
IntervalloTemporale
2
(=>
(
instance
?T1
Advent
)
(
exists
(?T2)
(
and
(
instance
?T2
ChristmasDay
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 369-374
IntervalloTemporale
è un'
istanza
di
Advent
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
ChristmasDay
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?T1
ChristmasDay
)
(
exists
(?T2)
(
and
(
instance
?T2
Advent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 362-367
IntervalloTemporale
è un'
istanza
di
ChristmasDay
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Advent
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?T1
EasterSunday
)
(
exists
(?T2)
(
and
(
instance
?T2
Lent
)
(
meetsTemporally
?T2 ?T1))))
Media.kif 430-435
IntervalloTemporale
è un'
istanza
di
EasterSunday
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Lent
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?T1
Lent
)
(
exists
(?T2)
(
and
(
instance
?T2
EasterSunday
)
(
meetsTemporally
?T1 ?T2))))
Media.kif 423-428
IntervalloTemporale
è un'
istanza
di
Lent
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
EasterSunday
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
Processo
è un'
istanza
di
VaporCompressionCycle
Processo
Processo
,
Processo
and
Processo
2
Processo
è un'
istanza
di
Compressing
Processo
è un'
istanza
di
Condensare
Processo
è un'
istanza
di
Evaporating
Processo
2 è un'
istanza
di
Compressing
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
2 è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Processo
il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Processo
il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Processo
2
(=>
(
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
IntervalloTemporale
è un'
istanza
di
Weekend
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Sabato
IntervalloTemporale
è un'
istanza
di
Domenica
IntervalloTemporale
inizia
s
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?AUTUMN)
(
and
(
instance
?AUTUMN
FallSeason
)
(
meetsTemporally
?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19152-19157
IntervalloTemporale
è un'
istanza
di
WinterSeason
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
FallSeason
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
instance
?WINTER
WinterSeason
)
(
exists
(?SPRING)
(
and
(
instance
?SPRING
SpringSeason
)
(
meetsTemporally
?WINTER ?SPRING))))
Mid-level-ontology.kif 19145-19150
IntervalloTemporale
è un'
istanza
di
WinterSeason
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
SpringSeason
IntervalloTemporale
incontra
s
IntervalloTemporale
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