orientation
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
Suite
est un
attribut
de
objet
objet
est une
instance
de
HotelUnit
objet
objet
objet
est une
instance
de
HotelRoom
objet
est une
instance
de
HotelRoom
objet
est
Inside
�
objet
objet
est
Inside
�
objet
objet
est
objet
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9715-9720
L'
arri
�re de
objet en une partie
est
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
connect
� �
objet en une partie
objet
est
Above
�
objet en une partie
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6237-6246
Objet
est une
instance
de
BodyAreaFn
partie du corps
objet
est une
instance
de
animal
objet
est une
partie
de
objet
objet
objet
est une
instance
de
partie du corps
objet
est
Near
�
objet
objet
est une
partie
de
objet
(=>
(
and
(
instance
?A
Animal
)
(
instance
?P
(
BodySideFn
?S ?BPC))
(
contraryAttribute
?S ?SO)
(
attribute
?A
Healthy
))
(
exists
(?PO)
(
and
(
instance
?PO
(
BodySideFn
?SO ?BPC))
(
orientation
?P ?PO ?S))))
Merge.kif 14979-14990
Objet
est une
instance
de
animal
objet
est une
instance
de
BodySideFn
AntiSymmetricPositionalAttribute
and
partie du corps
AntiSymmetricPositionalAttribute
est
l
'oppos� de
AntiSymmetricPositionalAttribute
O
Healthy
est un
attribut
de
objet
objet
O
objet
O est une
instance
de
BodySideFn
AntiSymmetricPositionalAttribute
O and
partie du corps
objet
est
AntiSymmetricPositionalAttribute
�
objet
O
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
Processus
est une
instance
de
InPersonCommunication
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
AutonomousAgent
AutonomousAgent
est
Near
�
AutonomousAgent
pendant
processus
(=>
(
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
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 20003-20015
Processus
est une
instance
de
Dismounting
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est
On
�
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
est
On
�
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
Attribut directionnel
est une
instance
de
attribut directionnel
secteur g�ographique
est une
instance
de
secteur g�ographique
DirectionalSubregionFn
attribut directionnel
and
secteur g�ographique
est une
instance
de
secteur g�ographique
DirectionalSubregionFn
attribut directionnel
and
secteur g�ographique
est
attribut directionnel
�
GeographicCenterFn
secteur g�ographique
(=>
(
and
(
instance
?DROP
Falling
)
(
origin
?DROP ?START)
(
destination
?DROP ?FINISH))
(
orientation
?FINISH ?START
Below
))
Merge.kif 11587-11592
Processus
est une
instance
de
Falling
processus
a pour
origine
objet
processus
aboutit
�
objet
objet
est
Below
�
objet
(=>
(
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
?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
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5561-5570
Plan d'eau
est une
instance
de
Waterfall
WaterMotion
est une
instance
de
WaterMotion
flowCurrent
WaterMotion
and
plan d'eau
WaterMotion
a pour
origine
objet
WaterMotion
aboutit
�
objet
objet
est une
instance
de
plan d'eau
objet
est une
instance
de
plan d'eau
objet
est
Above
�
objet
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
Objet
est une
instance
de
continent
objet
est
Antarctica
Antarctica
est
South
�
objet
(=>
(
and
(
instance
?M
Mounting
)
(
agent
?M ?A)
(
patient
?M ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
orientation
?A ?O
On
)))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
orientation
?A ?O
On
))))
Mid-level-ontology.kif 469-480
Processus
est une
instance
de
Mounting
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est
On
�
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
est
On
�
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?MEET
Meeting
)
(
agent
?MEET ?AGENT1)
(
agent
?MEET ?AGENT2))
(
holdsDuring
(
WhenFn
?MEET)
(
orientation
?AGENT1 ?AGENT2
Near
)))
Merge.kif 13282-13287
Processus
est une
instance
de
rencontrer
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
Near
�
AutonomousAgent
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?MID
MiddleCIButton
)
(
component
?MID ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT ?RIGHT)
(
and
(
instance
?RIGHT
RightCIButton
)
(
instance
?LEFT
LeftCIButton
)
(
component
?RIGHT ?DEV)
(
component
?LEFT ?DEV)
(
between
?LEFT ?MID ?RIGHT)
(
orientation
?MID ?LEFT
Left
)
(
orientation
?MID ?RIGHT
Right
))))
ComputerInput.kif 224-237
Objet corpusculaire
est une
instance
de
MiddleCIButton
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est une
instance
de
ComputerInputDevice
objet corpusculaire
objet corpusculaire
objet corpusculaire
est une
instance
de
RightCIButton
objet corpusculaire
est une
instance
de
LeftCIButton
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est
entre
objet corpusculaire
et
objet corpusculaire
objet corpusculaire
est
Left
�
objet corpusculaire
objet corpusculaire
est
Right
�
objet corpusculaire
(=>
(
and
(
instance
?P
AntiSymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
not
(
orientation
?O2 ?O1 ?P)))
Merge.kif 17065-17069
Attribut positionnel
est une
instance
de
AntiSymmetricPositionalAttribute
objet
est
attribut positionnel
�
objet
objet
est
attribut positionnel
�
objet
(=>
(
and
(
instance
?P
SymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
orientation
?O2 ?O1 ?P))
Merge.kif 17054-17058
Attribut positionnel
est une
instance
de
SymmetricPositionalAttribute
objet
est
attribut positionnel
�
objet
objet
est
attribut positionnel
�
objet
(=>
(
and
(
instance
?RIGHT
PhysicalRightCIButton
)
(
component
?RIGHT ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT)
(
and
(
instance
?LEFT
PhysicalLeftCIButton
)
(
component
?LEFT ?DEV)
(
orientation
?RIGHT ?LEFT
Left
))))
ComputerInput.kif 204-213
Objet corpusculaire
est une
instance
de
PhysicalRightCIButton
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est une
instance
de
ComputerInputDevice
objet corpusculaire
objet corpusculaire
est une
instance
de
PhysicalLeftCIButton
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est
Left
�
objet corpusculaire
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM))
(
exists
(?PL)
(
and
(
instance
?PL
ParkingLot
)
(
orientation
?RS1 ?PL
Adjacent
))))
Medicine.kif 5147-5155
Objet
est une
instance
de
StripMall
objet
est une
instance
de
RetailStore
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ParkingLot
objet
est
Adjacent
�
objet
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
Entit�
est une
instance
de
PlantStem
entit�
est une
instance
de
PlantRoot
l'argument
entit�
est
Above
�
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
Transf�re
est une
instance
de
Thoracentesis
objet
est un
patient
de
transf�re
transf�re
objet
,
transf�re
N,
objet
,
objet
and
objet
transf�re
est une
instance
de
Inserting
transf�re
est un
sous
-processus de
transf�re
objectTransferred
transf�re
and
objet
transf�re
a pour
origine
objet
transf�re
aboutit
�
transf�re
N
objet
est une
instance
de
Needle
Fluid
est un
attribut
de
objet
objectTransferred
transf�re
and
objet
objet
aboutit
�
objet
objet
est une
instance
de
Lung
objet
est une
instance
de
Chest
objet
est une
partie
de
objet
objet
est une
partie
de
objet
transf�re
a pour
origine
transf�re
N
transf�re
aboutit
�
objet
transf�re
N est
entre
objet
et
objet
objet
est
Outside
�
objet
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
Objet
est une
instance
de
VentedChestSeal
transf�re
est une
instance
de
attacher
objectTransferred
transf�re
and
objet
transf�re
aboutit
�
entit�
objet
a pour
but
transf�re
entit�
,
entit�
and
entit�
transf�re
est une
instance
de
Air
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Chest
entit�
est une
partie
de
entit�
entit�
est une
partie
de
entit�
transf�re
est
entre
entit�
et
entit�
pendant
immediatement
avant
temps
d'existence de
transf�re
objet
a pour
but
transf�re
est
Outside
�
entit�
pendant
immediatement
apr
�s
temps
d'existence de
transf�re
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
Proposition
est une
instance
de
Argument
processus
est une
instance
de
raisonner
proposition
est une
instance
de
Archeology
proposition
est une
sous
-proposition de
proposition
processus
exprime
le contenu de
proposition
processus
entit�
,
physique
,
nombre r�el
,
entit�
and
entit�
processus
est une
instance
de
Discovering
physique
est une
instance
de
objet
physique
est un
patient
de
processus
processus
inclut une
r
�f�rence �
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
que 50
entit�
est une
surface
de
entit�
entit�
est une
instance
de
BodyOfWater
physique
est
Below
�
entit�
entit�
est une
surface
de
entit�
entit�
est une
instance
de
zone de terre
physique
est
Below
�
entit�
pendant
immediatement
avant
temps
d'existence de
processus
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