temporalPart
(=>
(
holdsDuring
?TIME
(
attribute
?AGENT
Surprise
))
(
exists
(?PART ?PROP)
(
and
(
temporalPart
?PART
(
PastFn
?TIME))
(
holdsDuring
?PART
(
expects
?AGENT ?PROP))
(
holdsDuring
?TIME
(
truth
?PROP
False
)))))
Mid-level-ontology.kif 19347-19353
attribute
Entit�
and
Surprise
vales
durante
PosizioneTemporale
PosizioneTemporale
Entit�
PosizioneTemporale
è una
parte
di
prima
PosizioneTemporale
expects
Entit�
and
Entit�
vales
durante
PosizioneTemporale
truth
Entit�
and
False
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?TIME
(
attribute
?PERSON
Drunk
))
(
exists
(?PAST)
(
and
(
temporalPart
?PAST
(
PastFn
?TIME))
(
holdsDuring
?PAST
(
exists
(?DRINK ?ALCOHOL)
(
and
(
instance
?DRINK
Drinking
)
(
patient
?DRINK ?ALCOHOL)
(
instance
?ALCOHOL
AlcoholicBeverage
)
(
agent
?DRINK ?PERSON)))))))
Mid-level-ontology.kif 8672-8683
attribute
Entit�
and
Drunk
vales
durante
PosizioneTemporale
PosizioneTemporale
PosizioneTemporale
è una
parte
di
prima
PosizioneTemporale
Entit�
Entit�
Entit�
è un'
istanza
di
Bere
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
AlcoholicBeverage
Entit�
è un
agente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?TIME
(
instance
?AREA
MilitaryFront
))
(
exists
(?BATTLE)
(
and
(
instance
?BATTLE
Battle
)
(
eventLocated
?BATTLE ?AREA)
(
temporalPart
?TIME ?BATTLE))))
Mid-level-ontology.kif 9017-9023
Oggetto
è un'
istanza
di
MilitaryFront
vales
durante
PosizioneTemporale
Processo
Processo
è un'
istanza
di
Battaglia
eventLocated
Processo
and
Oggetto
PosizioneTemporale
è una
parte
di
Processo
(=>
(
instance
?ANAT
AnatomicalStructure
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
part
?ANAT ?ORGANISM)))))
Merge.kif 14943-14949
Entit�
è un'
istanza
di
StrutturaAnatomica
Entit�Concreta
PosizioneTemporale
Entit�Concreta
è un'
istanza
di
Organismo
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�
è una
parte
di
Entit�Concreta
vales
durante
PosizioneTemporale
(=>
(
instance
?C
Convoy
)
(
exists
(?V1 ?V2 ?TIME)
(
and
(
not
(
equal
?V1 ?V2))
(
instance
?V1
Vehicle
)
(
instance
?V2
Vehicle
)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?C))
(
holdsDuring
?TIME
(
and
(
member
?V1 ?C)
(
member
?V2 ?C))))))
Mid-level-ontology.kif 22333-22345
Entit�Concreta
è un'
istanza
di
Convoy
Entit�
Entit�
and
PosizioneTemporale
Entit�
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Vehicle
Entit�
è un'
istanza
di
Vehicle
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�
è un
membro
di
Entit�Concreta
Entit�
è un
membro
di
Entit�Concreta
vales
durante
PosizioneTemporale
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17322-17344
Processo
è un'
istanza
di
Disappearing
Entit�
AutonomousAgent
,
Processo
and
PosizioneTemporale
Processo
è un'
istanza
di
Ricercare
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
l'affermazione
Processo
ISC
Processo
ISC è un'
istanza
di
Discovering
Processo
ISC è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
ISC ha il modello di forza di
Possibility
vales
durante
PosizioneTemporale
(=>
(
instance
?INTERVAL
TimeInterval
)
(
exists
(?POINT)
(
and
(
instance
?POINT
TimePoint
)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 7969-7974
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
PuntoTemporale
PosizioneTemporale
è una
parte
di
PosizioneTemporale
(=>
(
instance
?O
OlympicGames
)
(
or
(
exists
(?W)
(
and
(
instance
?W
WinterSeason
)
(
temporalPart
(
WhenFn
?O) ?W)))
(
exists
(?S)
(
and
(
instance
?S
SummerSeason
)
(
temporalPart
(
WhenFn
?O) ?S)))))
Sports.kif 1341-1351
Entit�Concreta
è un'
istanza
di
OlympicGames
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
WinterSeason
il
tempo
di esistenza di
Entit�Concreta
è una
parte
di
PosizioneTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
SummerSeason
il
tempo
di esistenza di
Entit�Concreta
è una
parte
di
PosizioneTemporale
(=>
(
instance
?PART
BodyPart
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
component
?PART ?ORGANISM)))))
Merge.kif 14977-14983
Entit�
è un'
istanza
di
ParteDelCorpo
Entit�Concreta
PosizioneTemporale
Entit�Concreta
è un'
istanza
di
Organismo
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
Entit�
è un
componente
di
Entit�Concreta
vales
durante
PosizioneTemporale
(=>
(
instance
?POINT
TimePoint
)
(
exists
(?INTERVAL)
(
and
(
instance
?INTERVAL
TimeInterval
)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 7962-7967
PosizioneTemporale
è un'
istanza
di
PuntoTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
PosizioneTemporale
(=>
(
instance
?S
Scar
)
(
exists
(?T ?OP ?L)
(
and
(
temporalPart
?T
(
PastFn
(
WhenFn
?S)))
(
holdsDuring
?T
(
instance
?L
Lesion
))
(
instance
?OP
OrganOrTissueProcess
)
(
patient
?OP ?L)
(
result
?OP ?S))))
Mid-level-ontology.kif 9407-9417
Entit�Concreta
è un'
istanza
di
Scar
PosizioneTemporale
Processo
and
Entit�
PosizioneTemporale
è una
parte
di
prima
il
tempo
di esistenza di
Entit�Concreta
Entit�
è un'
istanza
di
Lesion
vales
durante
PosizioneTemporale
Processo
è un'
istanza
di
ProcessoOrganicoOTessutale
Entit�
è un
paziente
di
Processo
Entit�Concreta
è un
risultato
di
Processo
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8367-8374
IntervalloTemporale
incontra
s
IntervalloTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8256-8262
IntervalloTemporale
sovrappone
s
IntervalloTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8312-8318
IntervalloTemporale
sovrappone
s
IntervalloTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
PosizioneTemporale
è una
parte
di
IntervalloTemporale
(=>
(
subProcess
?SUBPROC ?PROC)
(
temporalPart
(
WhenFn
?SUBPROC)
(
WhenFn
?PROC)))
Merge.kif 10129-10131
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
è una
parte
diil
tempo
di esistenza di
Processo
(=>
(
time
?THING ?POS)
(
temporalPart
?POS
(
WhenFn
?THING)))
Merge.kif 7996-7999
Entit�Concreta
esistes
durante
PosizioneTemporale
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Entit�Concreta
(=>
(
typicalTemporalPart
?PART ?WHOLE)
(
exists
(?X ?Y)
(
and
(
instance
?X ?WHOLE)
(
instance
?Y ?PART)
(
temporalPart
?Y ?X))))
Cars.kif 1445-1451
typicalTemporalPart
Processo
and
Processo
PosizioneTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
Processo
PosizioneTemporale
è un'
istanza
di
Processo
PosizioneTemporale
è una
parte
di
PosizioneTemporale
(=>
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
exists
(?X ?Y)
(
and
(
instance
?X ?WHOLE)
(
instance
?Y ?PART)
(
temporalPart
?Y ?X))))
Cars.kif 1485-1491
typicallyContainsTemporalPart
Processo
and
Processo
PosizioneTemporale
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
Processo
PosizioneTemporale
è un'
istanza
di
Processo
PosizioneTemporale
è una
parte
di
PosizioneTemporale
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