WhenFn
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23767-23778
Processo
è un'
istanza
di
CausingHappiness
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Happiness
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Happiness
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
CausingUnhappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 23788-23799
Processo
è un'
istanza
di
CausingUnhappiness
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Unhappiness
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Unhappiness
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP ?L2)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1747-1767
Entit�Concreta
è un'
istanza
di
Cavitating
OggettoIntegro
è un'
istanza
di
Pump
attribute
OggettoIntegro
and
DeviceOn
attribute
Oggetto
and
Liquid
contains
OggettoIntegro
and
Oggetto
OggettoIntegro
P
Entit�
OggettoIntegro
P è una
parte
di
OggettoIntegro
OggettoIntegro
P ha
scopo
attribute
Entit�
and
Liquid
Entit�
incontra
s
OggettoIntegro
P
Entit�
attribute
Entit�
and
Liquid
OggettoIntegro
P
incontra
s
Entit�
vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
Processo
è un'
istanza
di
CheckingVitals
Processo
è un
agente
di
AgenteCognitivo
Oggetto
è un
paziente
di
Processo
Heart
è un'
istanza
di
Heart
Heart
è una
parte
di
Oggetto
Lung
è un'
istanza
di
Lung
Lung
è una
parte
di
Oggetto
systolicBloodPressure
Oggetto
and
Entit�
diastolicBloodPressure
Oggetto
and
Entit�
la
misura
Oggetto
è
Entit�
FahrenheitDegree
(s vales
durante
il
tempo
di esistenza di
Processo
heartRate
Heart
, il
tempo
di esistenza di
Processo
and
NumeroIntero
breathingRate
Lung
, il
tempo
di esistenza di
Processo
and
NumeroIntero
AgenteCognitivo
conosce
s
systolicBloodPressure
Oggetto
and
Entit�
diastolicBloodPressure
Oggetto
and
Entit�
la
misura
Oggetto
è
Entit�
FahrenheitDegree
(s vales
durante
il
tempo
di esistenza di
Processo
heartRate
Heart
, il
tempo
di esistenza di
Processo
and
NumeroIntero
breathingRate
Lung
, il
tempo
di esistenza di
Processo
and
NumeroIntero
(=>
(
and
(
instance
?C
Chills
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
FeelingCold
)))
emotion.kif 1886-1892
Processo
è un'
istanza
di
Chills
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
FeelingCold
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11753-11768
Processo
è un'
istanza
di
Choking
AutonomousAgent
esperisce
s
Processo
Entit�
Oggetto
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Oggetto
è un'
istanza
di
Trachea
Oggetto
è un'
istanza
di
Lung
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è una
parte
di
AutonomousAgent
Entit�
è
localizzato
in
Oggetto
Entit�
è
localizzato
in
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
ChurningButter
)
(
instance
?E
Emulsion
)
(
patient
?C ?E))
(
exists
(?M ?B)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
and
(
equal
?E ?M)
(
instance
?M
Milk
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
and
(
equal
?E ?B)
(
instance
?B
Butter
))))))
Food.kif 3076-3094
Processo
è un'
istanza
di
ChurningButter
Entit�
è un'
istanza
di
Emulsion
Entit�
è un
paziente
di
Processo
Entit�
Entit�
Entit�
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Milk
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Butter
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3496-3510
ComputerProcess
è un'
istanza
di
ComputerBackingUp
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
DigitalData
ComputerProcess
è un
agente
di
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
il
tempo
di esistenza di
ComputerProcess
accades
prima
di
Entit�
Entit�
Entit�
è un'
istanza
di
ComputerProcess
DigitalData
è
capace
di fare
Entit�
nel ruolo
dataProcessed
vales
durante
Entit�
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 22347-22355
InsiemeConcreto
è un'
istanza
di
Convoy
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
Driving
il
tempo
di esistenza di
InsiemeConcreto
sovrappone
s il
tempo
di esistenza di
Processo
Entit�Concreta
è un
paziente
di
Processo
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6055-6074
Processo
è un'
istanza
di
Coughing
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Lung
Entit�
è un'
istanza
di
Throat
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Spostamento
Entit�
è una
parte
di
AutonomousAgent
Entit�
è una
parte
di
AutonomousAgent
objectTransferred
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29746-29753
Processo
è un'
istanza
di
Coprire
Entit�
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
covers
Oggetto
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
Processo
è un'
istanza
di
Cricothyroidotomy
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
ImpairmentFn
Respirazione
Entit�
è un
paziente
di
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
Entit�
è un'
istanza
di
ImpairmentFn
Respirazione
Entit�
è un
paziente
di
Entit�
non vale
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
Processo
è un'
istanza
di
Cricothyroidotomy
Entit�
è un
paziente
di
Processo
Entit�
Entit�
è un'
istanza
di
apertura
Entit�
is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Throat
Entit�
è una
parte
di
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
Sadness
)))
emotion.kif 1141-1147
Processo
è un'
istanza
di
Crying
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Sadness
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
Processo
è un'
istanza
di
CurdlingMilk
Entit�Concreta
è un'
istanza
di
Milk
Entit�Concreta
è un
paziente
di
Processo
NumeroReale
Processo
,
Entit�
and
Entit�
la
misura
Entit�Concreta
è
NumeroReale
PHValue
(s
Processo
è un'
istanza
di
Diminuzione
Processo
è un
sottoprocesso
di
Processo
NumeroReale
è un
paziente
di
Processo
NumeroReale
is
uguale
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
NumeroReale
is
uguale
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6121-6139
Processo
è un'
istanza
di
Sneezing
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
,
Entit�
OSE and
Entit�
Entit�
è un'
istanza
di
NasalCavity
Entit�
OSE è un'
istanza
di
Nose
Entit�
OSE is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Spostamento
Entit�
OSE è una
parte
di
AutonomousAgent
objectTransferred
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CATCH
Catching
)
(
agent
?CATCH ?AGENT)
(
patient
?CATCH ?BALL))
(
holdsDuring
(
EndFn
(
WhenFn
?CATCH))
(
grasps
?AGENT ?BALL)))
Mid-level-ontology.kif 17111-17116
Processo
è un'
istanza
di
Catching
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
grasps
AutonomousAgent
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
origin
?CHANGE ?AGENT1)
(
destination
?CHANGE ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?CHANGE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ))))
Merge.kif 11678-11688
Processo
è un'
istanza
di
CambiamentodiPossesso
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Oggetto
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Oggetto
possiede
es
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
possiede
es
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CHANGE
InternalChange
)
(
patient
?CHANGE ?OBJ))
(
exists
(?PROPERTY)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))))))
Merge.kif 12621-12632
Processo
è un'
istanza
di
CambiamentoInterno
Entit�
è un
paziente
di
Processo
Entit�
attribute
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CHECKIN
CheckInService
)
(
causes
?CHECKIN ?SERVICE)
(
instance
?CHECKOUT
CheckOutService
))
(
finishes
(
WhenFn
?CHECKOUT)
(
WhenFn
?SERVICE)))
Hotel.kif 2196-2203
Processo
è un'
istanza
di
CheckInService
Processo
causa
s
Processo
Entit�Concreta
è un'
istanza
di
CheckOutService
il
tempo
di esistenza di
Entit�Concreta
finisce
es il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CLOSE
ClosingGraphicalWindow
)
(
patient
?CLOSE ?WINDOW))
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
time
?WINDOW
(
BeginFn
(
WhenFn
?OPEN)))
(
not
(
time
?WINDOW
(
EndFn
(
WhenFn
?OPEN))))))
ComputerInput.kif 2438-2445
Processo
è un'
istanza
di
ClosingGraphicalWindow
Entit�Concreta
è un
paziente
di
Processo
Entit�Concreta
è un'
istanza
di
InterfaceWindow
Entit�Concreta
esistes
durante
l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
non esiste
durante
la
fine
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?COLORING
Coloring
)
(
patient
?COLORING ?OBJ))
(
exists
(?PROPERTY ?PART)
(
and
(
part
?PART ?OBJ)
(
instance
?PROPERTY
ColorAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12658-12672
Processo
è un'
istanza
di
Colorare
Oggetto
è un
paziente
di
Processo
Entit�
Oggetto
Oggetto
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
AttributoDiColore
attribute
Oggetto
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?COMM
LinguisticCommunication
)
(
agent
?COMM ?AGENT)
(
patient
?COMM ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
holdsDuring
(
WhenFn
?COMM)
(
states
?AGENT ?SENTENCE)))
Media.kif 1836-1842
Processo
è un'
istanza
di
LinguisticCommunication
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Frase
states
AutonomousAgent
and
Entit�
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?COND
Condensing
)
(
patient
?COND ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?COND))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?COND))
(
attribute
?PART
Liquid
)))))
Merge.kif 14001-14009
Processo
è un'
istanza
di
Condensare
Oggetto
è un
paziente
di
Processo
Oggetto
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Gas
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Liquid
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CONDUCT
MusicalConducting
)
(
agent
?CONDUCT ?AGENT))
(
holdsDuring
(
WhenFn
?CONDUCT)
(
attribute
?AGENT
MusicalConductor
)))
Media.kif 1867-1871
Processo
è un'
istanza
di
MusicalConducting
Processo
è un
agente
di
AutonomousAgent
attribute
AutonomousAgent
and
MusicalConductor
vales
durante
il
tempo
di esistenza di
Processo
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