holdsDuring
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3913-3929
Entit�
è un'
istanza
di
Electromagnet
Entit�
Entit�
Entit�
è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
Electricity
objectTransferred
Entit�
and
Entit�
Entit�
è
cammino
mentre
Entit�
si verifica non vale
durante
Entit�
1
Entit�
Entit�
è un'
istanza
di
Magnetism
Entit�
è uno
strumento
per
Entit�
non vale
durante
Entit�
1
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
AreaGeopolitica
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
Entit�
è
localizzato
in
AreaGeopolitica
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
AreaGeopolitica
Entit�Concreta
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�Concreta
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?F
Forehead
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?F ?EYE
Above
))))
Anatomy.kif 1488-1500
Oggetto
è un'
istanza
di
Forehead
attribute
Oggetto
and
Healthy
attribute
Oggetto
and
Standing
vales
durante
PosizioneTemporale
Oggetto
è una
parte
di
Oggetto
Oggetto
YE
Oggetto
YE è un'
istanza
di
Eye
Oggetto
YE è una
parte
di
Oggetto
Oggetto
è
Above
a
Oggetto
YE
(=>
(
and
(
instance
?G
Grease
)
(
holdsDuring
?T
(
measure
?G
(
MeasureFn
77
FahrenheitDegree
))))
(
holdsDuring
?T
(
attribute
?G
Solid
)))
Cars.kif 2992-2998
Entit�
è un'
istanza
di
Grease
la
misura
Entit�
è 77
FahrenheitDegree
(s vales
durante
PosizioneTemporale
attribute
Entit�
and
Solid
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18813-18819
Entit�
è un'
istanza
di
DramaticCast
Entit�
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
attribute
Entit�
and
Actor
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?GROUP
MusicalGroup
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
exists
(?M)
(
and
(
instance
?M
Musician
)
(
holdsDuring
?T1
(
attribute
?MEM ?M)))))
Media.kif 1771-1780
Entit�
è un'
istanza
di
MusicalGroup
Entit�
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
Musician
attribute
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T
(
and
(
attribute
?T
Hyperthermia
)
(
coreBodyTemp
?H
(
MeasureFn
?N
CelsiusDegree
)))))
(
greaterThan
?N 38.3))
Medicine.kif 686-694
Entit�
è un'
istanza
di
Umano
attribute
PosizioneTemporale
and
Hyperthermia
coreBodyTemp
Entit�
and
NumeroReale
CelsiusDegree
(s vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di 38.3
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T
(
and
(
attribute
?T
Hypothermia
)
(
coreBodyTemp
?H
(
MeasureFn
?N
CelsiusDegree
)))))
(
lessThan
?N 35.0))
Medicine.kif 651-659
Entit�
è un'
istanza
di
Umano
attribute
PosizioneTemporale
and
Hypothermia
coreBodyTemp
Entit�
and
NumeroReale
CelsiusDegree
(s vales
durante
PosizioneTemporale
NumeroReale
è
meno
di35.0
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThan
?N 12)
(
lessThan
?N 20))
(
holdsDuring
?T1
(
instance
?H
Teenager
)))
Mid-level-ontology.kif 342-348
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di 12
NumeroReale
è
meno
di20
Entit�
è un'
istanza
di
Teenager
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThanOrEqualTo
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanAdult
)))
Mid-level-ontology.kif 219-225
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di o uguale a 18
Entit�
è un'
istanza
di
HumanAdult
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThan
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanYouth
)))
Mid-level-ontology.kif 269-274
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
meno
di18
Entit�
è un'
istanza
di
HumanYouth
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 1))
(
holdsDuring
?T1
(
instance
?H
HumanBaby
)))
Mid-level-ontology.kif 392-397
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 1
Entit�
è un'
istanza
di
HumanBaby
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 14))
(
holdsDuring
?T1
(
instance
?H
HumanChild
)))
Mid-level-ontology.kif 311-318
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 14
Entit�
è un'
istanza
di
HumanChild
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
instance
?R
Rectum
)
(
part
?R ?H)
(
holdsDuring
?T
(
and
(
coreBodyTemp
?H
(
MeasureFn
?N ?U))
(
measure
?R
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N ?N2))
Medicine.kif 519-530
Oggetto
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
Rectum
Oggetto
è una
parte
di
Oggetto
coreBodyTemp
Oggetto
and
NumeroReale
Entit�
(s la
misura
Oggetto
è
NumeroReale
2
Entit�
(s vales
durante
PosizioneTemporale
approximateValue
NumeroReale
and
NumeroReale
2
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
Processo
è un'
istanza
di
Impatto
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
ImpairedBodyPartFn
Brain
vales
durante
immediatamente
dopo
Processo
l'affermazione
attribute
Entit�
and
Concussion
vales
durante
immediatamente
dopo
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9773-9794
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
MoodStabilizer
Processo
è un'
istanza
di
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
attribute
AutonomousAgent
and
Processo
S vales
durante
il
tempo
di esistenza di
Processo
Processo
S è un'
istanza
di
StatoEmotivo
Processo
2 è un'
istanza
di
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
il
tempo
di esistenza di
Processo
2 accades
prima
di il
tempo
di esistenza di
Trasferimento
l'affermazione
attribute
AutonomousAgent
and
Processo
S non vale
durante
Processo
2 ha il modello di forza di
Unlikely
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Oggetto
è un'
istanza
di
Lever
Processo
è un'
istanza
di
Pushing
Entit�Concreta
è un'
istanza
di
Movimento
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Processo
fine
s in
Oggetto
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è
localizzato
in
Processo
1 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
2 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
3 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
4 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
la
distanza
tra
Processo
1 e
Processo
2 è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Processo
3 e
Processo
4 è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10554-10569
Processo
è un'
istanza
di
MuscleRelaxing
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Muscolo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10532-10547
Processo
è un'
istanza
di
MuscularContraction
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Muscolo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
lunghezza
di
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?MUSIC
MakingVocalMusic
)
(
agent
?MUSIC ?GROUP)
(
instance
?GROUP
Choir
)
(
holdsDuring
?MUSIC
(
member
?MEM ?GROUP)))
(
exists
(?SING)
(
and
(
instance
?SING
Singing
)
(
subProcess
?SING ?MUSIC)
(
agent
?SING ?MEM))))
Media.kif 1807-1817
Processo
è un'
istanza
di
MakingVocalMusic
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Choir
AutonomousAgent
è un
membro
di
AutonomousAgent
vales
durante
Processo
Processo
Processo
è un'
istanza
di
Singing
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19582-19594
Processo
è un'
istanza
di
Oxidation
Entit�
è un
paziente
di
Processo
electronNumber
Entit�
and
NumeroReale
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
NumeroReale
NumeroReale
è
meno
di
NumeroReale
electronNumber
Entit�
and
NumeroReale
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 233-239
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
FullyFormed
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
HumanAdult
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22469-22474
Entit�
è un'
istanza
di
MilitaryOrganization
Entit�
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
MilitaryPerson
vales
durante
PosizioneTemporale
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