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
Processus
est une
instance
de
Sneezing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
OSE and
entit�
entit�
est une
instance
de
NasalCavity
entit�
OSE est une
instance
de
Nose
entit�
OSE est
h
�te du trou
entit�
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
OSE est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
CarbonDioxide
objet
est une
instance
de
mol�cule
objet
objet
and
objet
objet
est une
instance
de
Carbon
objet
est une
instance
de
Oxygen
objet
est une
instance
de
Oxygen
objet
est une
instance
de
atome
objet
est une
instance
de
atome
objet
est une
instance
de
atome
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
objet
(=>
(
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
Objet
est une
instance
de
Chin
objet
est une
instance
de
Face
objet
est une
partie
de
objet
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
Below
�
objet
(=>
(
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
Processus
est une
instance
de
colorer
objet
est un
patient
de
processus
entit�
objet
objet
est une
partie
de
objet
entit�
est une
instance
de
attribut de couleur
entit�
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?COMPOUND
OrganicCompound
)
(
instance
?COMPOUND
Molecule
))
(
exists
(?CARBON)
(
and
(
instance
?CARBON
Carbon
)
(
part
?CARBON ?COMPOUND))))
Mid-level-ontology.kif 8563-8570
Objet
est une
instance
de
OrganicCompound
objet
est une
instance
de
mol�cule
objet
objet
est une
instance
de
Carbon
objet
est une
partie
de
objet
(=>
(
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
Processus
est une
instance
de
condenser
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
Gas
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Liquid
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
WirelessNetwork
d�palcement
est une
instance
de
NetworkCommunication
objet
est un
instrument
pour
d�palcement
objet
est le
chemin
le long duquel
d�palcement
se produit
objet
objet
est une
partie
de
objet
objet
est une
instance
de
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
Processus
est une
instance
de
mort
AutonomousAgent
est une
instance
de
organisme
AutonomousAgent
exp
�rimente
processus
entit�
entit�
entit�
est le
resultat
de
processus
entit�
est une
instance
de
objet organique
Dead
est un
attribut
de
entit�
pendant
apr
�s
temps
d'existence de
processus
entit�
est une
partie
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Deposition
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
Gas
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Solid
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
Liquid
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
EdemaFn
partie du corps
AutonomousAgent
exp
�rimente
processus
partie du corps
I
partie du corps
I est une
instance
de
partie du corps
partie du corps
I est une
partie
de
AutonomousAgent
processus
est
situ
� �
partie du corps
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
Processus
est une
instance
de
Edema
AutonomousAgent
exp
�rimente
processus
d�palcement
objet
and
objet
d�palcement
est une
instance
de
transf�re
objet
est une
instance
de
Liquid
objet
est une
instance
de
partie du corps
objet
est une
partie
de
AutonomousAgent
d�palcement
aboutit
�
objet
moves
d�palcement
and
objet
d�palcement
est un
sous
-processus de
processus
(=>
(
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
Collection
est une
instance
de
Eyebrow
Healthy
est un
attribut
de
objet
collection
est une
partie
de
objet
physique
est un
membre
de
collection
objet
AIR
objet
AIR est une
instance
de
Hair
objet
AIR est une
partie
de
collection
(=>
(
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
Objet
est une
instance
de
Eyebrow
Healthy
est un
attribut
de
objet
objet
est une
partie
de
objet
objet
YE
objet
YE est une
instance
de
Eye
objet
YE est une
partie
de
objet
objet
YE est
Near
�
objet
(=>
(
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
Objet
est une
instance
de
Eyebrow
Healthy
est un
attribut
de
objet
Standing
est un
attribut
de
objet
pendant
position temporel
objet
est une
partie
de
objet
objet
YE
objet
YE est une
instance
de
Eye
objet
YE est une
partie
de
objet
objet
est
Above
�
objet
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
Composant d'un appareil
est une
instance
de
EngineGovernor
composant d'un appareil
est une
instance
de
Engine
composant d'un appareil
est
connect
� �
composant d'un appareil
governorSpeed
composant d'un appareil
and
nombre r�el
MilesPerHour
(s)
composant d'un appareil
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
appareil
entit�
est une
partie
de
composant d'un appareil
entit�
est une
instance
de
Rotating
la
mesure
de
entit�
est
entit�
MilesPerHour
(s)
entit�
est
plus
grand
que
nombre r�el
pendant
temps
d'existence de
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
Processus
est une
instance
de
ExperiencingALumpInTheThroat
AutonomousAgent
exp
�rimente
processus
processus
objet
processus
est une
instance
de
perception
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
Throat
objet
est une
partie
de
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
Processus
est une
instance
de
ExperiencingDiscomfortInTheStomach
AutonomousAgent
exp
�rimente
processus
processus
processus
AIN and
objet
processus
est une
instance
de
perception
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
AIN
processus
AIN est une
instance
de
Pain
AutonomousAgent
exp
�rimente
processus
AIN
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
Stomach
objet
est une
partie
de
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
Processus
est une
instance
de
ExperiencingHeatInCheeksOrChest
AutonomousAgent
exp
�rimente
processus
processus
objet
processus
est une
instance
de
perception
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
Torso
objet
est une
instance
de
Face
objet
est une
partie
de
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
Processus
est une
instance
de
EyeMotion
processus
est un
agent
de
AutonomousAgent
objet
objet
est une
instance
de
Eyelid
objet
est une
partie
de
AutonomousAgent
objet
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
Evaporating
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
substance pure
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfTemperature
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
Liquid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Gas
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
FacialExpression
processus
est un
agent
de
AutonomousAgent
objet
objet
est une
partie
de
AutonomousAgent
objet
est une
instance
de
Face
objet
est un
instrument
pour
processus
(=>
(
and
(
instance
?F
Face
)
(
part
?F ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?F ?B)))
Mid-level-ontology.kif 12901-12908
Objet
est une
instance
de
Face
objet
est une
partie
de
objet en une partie
objet en une partie
est
derri
�re de
objet en une partie
objet
est une
partie
de
objet en une partie
(=>
(
and
(
instance
?F
Face
)
(
part
?F ?P)
(
equal
?B
(
FrontFn
?P)))
(
part
?F ?B))
Mid-level-ontology.kif 12910-12916
Objet
est une
instance
de
Face
objet
est une
partie
de
objet en une partie
objet en une partie
est
devant
de
objet en une partie
objet
est une
partie
de
objet en une partie
(=>
(
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
Processus
est une
instance
de
Folding
objet
est un
patient
de
processus
processus
objet
and
objet
processus
est une
instance
de
couvrir
processus
est un
sous
-processus de
processus
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est un
instrument
pour
processus
objet
est un
patient
de
processus
(=>
(
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
Objet
est une
instance
de
Forehead
Healthy
est un
attribut
de
objet
Standing
est un
attribut
de
objet
pendant
position temporel
objet
est une
partie
de
objet
objet
YE
objet
YE est une
instance
de
Eye
objet
YE est une
partie
de
objet
objet
est
Above
�
objet
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