part
(=>
(
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 6122-6140
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
?CD
CarbonDioxide
)
(
instance
?CD
Molecule
))
(
exists
(?C ?O1 ?O2)
(
and
(
instance
?C
Carbon
)
(
instance
?O1
Oxygen
)
(
instance
?O2
Oxygen
)
(
instance
?C
Atom
)
(
instance
?O1
Atom
)
(
instance
?O2
Atom
)
(
part
?C ?CD)
(
part
?O1 ?CD)
(
part
?O2 ?CD)
(
not
(
equal
?O1 ?O2)))))
Food.kif 3414-3429
Oggetto
è un'
istanza
di
CarbonDioxide
Oggetto
è un'
istanza
di
Molecola
Oggetto
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Carbon
Oggetto
è un'
istanza
di
Oxygen
Oggetto
è un'
istanza
di
Oxygen
Oggetto
è un'
istanza
di
Atomo
Oggetto
è un'
istanza
di
Atomo
Oggetto
è un'
istanza
di
Atomo
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
and
(
instance
?CHIN
Chin
)
(
instance
?FACE
Face
)
(
part
?CHIN ?FACE))
(
forall
(?PART)
(=>
(
and
(
part
?PART ?FACE)
(
not
(
part
?PART ?CHIN)))
(
orientation
?PART ?CHIN
Below
))))
Mid-level-ontology.kif 12930-12941
Oggetto
è un'
istanza
di
Chin
Oggetto
è un'
istanza
di
Face
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
Below
a
Oggetto
(=>
(
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 12636-12650
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
?COMPOUND
OrganicCompound
)
(
instance
?COMPOUND
Molecule
))
(
exists
(?CARBON)
(
and
(
instance
?CARBON
Carbon
)
(
part
?CARBON ?COMPOUND))))
Mid-level-ontology.kif 8563-8570
Oggetto
è un'
istanza
di
OrganicCompound
Oggetto
è un'
istanza
di
Molecola
Oggetto
Oggetto
è un'
istanza
di
Carbon
Oggetto
è una
parte
di
Oggetto
(=>
(
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 13979-13987
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
?CONN
WirelessNetwork
)
(
instance
?COM
NetworkCommunication
)
(
instrument
?COM ?CONN)
(
path
?COM ?PATH))
(
exists
(?PART)
(
and
(
part
?PART ?PATH)
(
not
(
instance
?PART
Cable
)))))
ComputingBrands.kif 1422-1432
Oggetto
è un'
istanza
di
WirelessNetwork
Movimento
è un'
istanza
di
NetworkCommunication
Oggetto
è uno
strumento
per
Movimento
Oggetto
è
cammino
mentre
Movimento
si verifica
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Cable
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10222-10237
Processo
è un'
istanza
di
Morte
AutonomousAgent
è un'
istanza
di
Organismo
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Entit�Organica
attribute
Entit�
and
Dead
vales
durante
dopo
il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
AutonomousAgent
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Solid
))
(
not
(
holdsDuring
(
WhenFn
?DEPOSITION)
(
attribute
?PART
Liquid
))))))
Geography.kif 6997-7014
Processo
è un'
istanza
di
Deposition
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
Solid
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Liquid
non vale
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?E
(
EdemaFn
?P))
(
experiencer
?E ?A))
(
exists
(?PI)
(
and
(
instance
?PI
BodyPart
)
(
part
?PI ?A)
(
located
?E ?PI))))
Mid-level-ontology.kif 9986-9994
Processo
è un'
istanza
di
EdemaFn
ParteDelCorpo
AutonomousAgent
esperisce
s
Processo
ParteDelCorpo
I
ParteDelCorpo
I è un'
istanza
di
ParteDelCorpo
ParteDelCorpo
I è una
parte
di
AutonomousAgent
Processo
è
localizzato
in
ParteDelCorpo
I
(=>
(
and
(
instance
?E
Edema
)
(
experiencer
?E ?A))
(
exists
(?T ?P ?L)
(
and
(
instance
?T
Transfer
)
(
instance
?L
Liquid
)
(
instance
?P
BodyPart
)
(
part
?P ?A)
(
destination
?T ?P)
(
moves
?T ?L)
(
subProcess
?T ?E))))
Mid-level-ontology.kif 9964-9976
Processo
è un'
istanza
di
Edema
AutonomousAgent
esperisce
s
Processo
Movimento
Oggetto
and
Oggetto
Movimento
è un'
istanza
di
Trasferimento
Oggetto
è un'
istanza
di
Liquid
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
AutonomousAgent
Movimento
fine
s in
Oggetto
moves
Movimento
and
Oggetto
Movimento
è un
sottoprocesso
di
Processo
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
exists
(?HAIR)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?E))))
Anatomy.kif 1458-1467
InsiemeConcreto
è un'
istanza
di
Eyebrow
attribute
Oggetto
and
Healthy
InsiemeConcreto
è una
parte
di
Oggetto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Oggetto
AIR
Oggetto
AIR è un'
istanza
di
Hair
Oggetto
AIR è una
parte
di
InsiemeConcreto
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?EYE ?E
Near
))))
Anatomy.kif 1439-1448
Oggetto
è un'
istanza
di
Eyebrow
attribute
Oggetto
and
Healthy
Oggetto
è una
parte
di
Oggetto
Oggetto
YE
Oggetto
YE è un'
istanza
di
Eye
Oggetto
YE è una
parte
di
Oggetto
Oggetto
YE è
Near
a
Oggetto
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
Oggetto
è un'
istanza
di
Eyebrow
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
?EG
EngineGovernor
)
(
instance
?E
Engine
)
(
connectedEngineeringComponents
?EG ?E)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?R ?P ?M)
(
and
(
instance
?P
Device
)
(
part
?P ?E)
(
instance
?R
Rotating
)
(
holdsDuring
(
WhenFn
?R)
(
and
(
measure
?P
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2930-2948
Meccanismo
è un'
istanza
di
EngineGovernor
Meccanismo
è un'
istanza
di
Engine
Meccanismo
è
connesso
a
Meccanismo
governorSpeed
Meccanismo
and
NumeroReale
MilesPerHour
(s
Meccanismo
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Dispositivo
Entit�
è una
parte
di
Meccanismo
Entit�
è un'
istanza
di
Rotating
la
misura
Entit�
è
Entit�
MilesPerHour
(s
Entit�
è
pi
ù grande di
NumeroReale
vales
durante
il
tempo
di esistenza di
Entit�
(=>
(
and
(
instance
?ELT
ExperiencingALumpInTheThroat
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Throat
)
(
part
?T ?A))))
emotion.kif 1710-1721
Processo
è un'
istanza
di
ExperiencingALumpInTheThroat
AutonomousAgent
esperisce
s
Processo
Processo
Oggetto
Processo
è un'
istanza
di
Percezione
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Throat
Oggetto
è una
parte
di
AutonomousAgent
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
Processo
è un'
istanza
di
ExperiencingDiscomfortInTheStomach
AutonomousAgent
esperisce
s
Processo
Processo
Processo
AIN and
Oggetto
Processo
è un'
istanza
di
Percezione
il
tempo
di esistenza di
Processo
has luogo
durante
il
tempo
di esistenza di
Processo
AIN
Processo
AIN è un'
istanza
di
Pain
AutonomousAgent
esperisce
s
Processo
AIN
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
(=>
(
and
(
instance
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
Processo
è un'
istanza
di
ExperiencingHeatInCheeksOrChest
AutonomousAgent
esperisce
s
Processo
Processo
Oggetto
Processo
è un'
istanza
di
Percezione
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Torso
Oggetto
è un'
istanza
di
Face
Oggetto
è una
parte
di
AutonomousAgent
(=>
(
and
(
instance
?EM
EyeMotion
)
(
agent
?EM ?A))
(
exists
(?E)
(
and
(
instance
?E
Eyelid
)
(
part
?E ?A)
(
patient
?EM ?E))))
Mid-level-ontology.kif 19943-19951
Processo
è un'
istanza
di
EyeMotion
Processo
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
è un'
istanza
di
Eyelid
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?CLASS
(
MeasureFn
?BOILVAL ?MEAS))
(
instance
?OBJ ?CLASS)
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 13953-13966
Processo
è un'
istanza
di
Evaporating
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
SostanzaPura
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
Oggetto
è un
paziente
di
Processo
Oggetto
Oggetto
è una
parte
di
Oggetto
NumeroReale
è
pi
ù grande di
NumeroReale
attribute
Oggetto
and
Liquid
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Gas
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EXPRESS
FacialExpression
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?FACE)
(
and
(
part
?FACE ?AGENT)
(
instance
?FACE
Face
)
(
instrument
?EXPRESS ?FACE))))
Mid-level-ontology.kif 13008-13016
Processo
è un'
istanza
di
FacialExpression
Processo
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è un'
istanza
di
Face
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
instance
?F
Face
)
(
part
?F ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?F ?B)))
Mid-level-ontology.kif 12901-12908
Oggetto
è un'
istanza
di
Face
Oggetto
è una
parte
di
OggettoIntegro
OggettoIntegro
is
uguale
a il
dietro
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
(=>
(
and
(
instance
?F
Face
)
(
part
?F ?P)
(
equal
?B
(
FrontFn
?P)))
(
part
?F ?B))
Mid-level-ontology.kif 12910-12916
Oggetto
è un'
istanza
di
Face
Oggetto
è una
parte
di
OggettoIntegro
OggettoIntegro
is
uguale
a il
davanti
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
(=>
(
and
(
instance
?F
Folding
)
(
patient
?F ?O))
(
exists
(?C ?P1 ?P2)
(
and
(
instance
?C
Covering
)
(
subProcess
?C ?F)
(
part
?P1 ?O)
(
part
?P2 ?O)
(
instrument
?C ?P1)
(
patient
?C ?P2))))
Mid-level-ontology.kif 3169-3180
Processo
è un'
istanza
di
Folding
Oggetto
è un
paziente
di
Processo
Processo
Oggetto
and
Oggetto
Processo
è un'
istanza
di
Coprire
Processo
è un
sottoprocesso
di
Processo
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
è un
paziente
di
Processo
(=>
(
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
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