orientation
(=>
(
and
(
instance
?X
Bed
)
(
component
?BEDFRAME ?X)
(
instance
?BEDFRAME
BedFrame
)
(
component
?MATTRESS ?X)
(
instance
?MATTRESS
Mattress
))
(
orientation
?MATTRESS ?BEDFRAME
On
))
Mid-level-ontology.kif 4054-4061
Objet corpusculaire
est une
instance
de
Bed
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est une
instance
de
BedFrame
objet corpusculaire
est un
composant
de
objet corpusculaire
objet corpusculaire
est une
instance
de
Mattress
objet corpusculaire
est
On
�
objet corpusculaire
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
Objet
est une
instance
de
CarAlarm
objet
est une
instance
de
SelfPoweredRoadVehicle
objet
est une
partie
de
objet
entit�
entit�
,
entit�
and
entit�
objet
a pour
but
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
entit�
est une
instance
de
humain
entit�
est un
agent
de
entit�
objet
est un
patient
de
entit�
temps
d'existence de
entit�
est
entit�
eventPartlyLocated
entit�
and
entit�
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
humain
entit�
est
Near
�
entit�
pendant
entit�
augmente
la probabilit� de
entit�
conna
�t
entit�
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
eventPartlyLocated
entit�
and
entit�
objet
est un
patient
de
entit�
pendant
entit�
temps
d'existence de
entit�
finit
temps
d'existence de
entit�
(=>
(
and
(
instance
?X
FruitOrVegetable
)
(
part
?F ?X)
(
instance
?F
FleshOrPulp
)
(
part
?P ?X)
(
instance
?P
PeelOrRind
))
(
orientation
?F ?P
Inside
))
Food.kif 2316-2323
Objet
est une
instance
de
fruit ou v�g�tal
objet
est une
partie
de
objet
objet
est une
instance
de
FleshOrPulp
objet
est une
partie
de
objet
objet
est une
instance
de
PeelOrRind
objet
est
Inside
�
objet
(=>
(
and
(
instance
?area
LandArea
)
(
groundSurfaceType
?area ?type1)
(
groundSubsurfaceType
?area ?type2))
(
exists
(?above ?below)
(
and
(
instance
?above ?type1)
(
instance
?below ?type2)
(
orientation
?above ?below
Above
))))
Geography.kif 4288-4297
Zone de terre
est une
instance
de
zone de terre
groundSurfaceType
zone de terre
and
substance
groundSubsurfaceType
zone de terre
and
substance
objet
objet
objet
est une
instance
de
substance
objet
est une
instance
de
substance
objet
est
Above
�
objet
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16921-16929
Objet
est
attribut positionnel
�
objet
@ROW est
l
'oppos� de
attribut positionnel
est un
membre
de (@ROW)
attribut positionnel
est un
membre
de (@ROW)
attribut positionnel
est
attribut positionnel
objet
est
attribut positionnel
�
objet
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?DIR)
(
instance
?DIR
PositionalAttribute
)
(
oppositeDirection
?DIR ?OPPDIR))
(
orientation
?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 18136-18141
Objet
est
attribut positionnel
�
objet
attribut positionnel
est une
instance
de
attribut positionnel
oppositeDirection
attribut positionnel
and
attribut positionnel
objet
est
attribut positionnel
�
objet
(=>
(
and
(
orientation
?X ?Y
Right
)
(
orientation
?Z ?Y
Left
))
(
orientation
?X ?Z
Right
))
Merge.kif 16931-16935
Objet
est
Right
�
objet
objet
est
Left
�
objet
objet
est
Right
�
objet
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9745-9751
Le
cot
� 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
attribut positionnel
objet en une partie
est
attribut positionnel
�
objet
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9730-9735
Le
dessus
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
Below
�
objet en une partie
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
))
(
not
(
exists
(?Observe ?A ?B ?D2)
(
and
(
instance
?Observe
Looking
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
during
(
WhenFn
?Observe) ?Time)
(
eventLocated
?Observe ?Area)
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?Distance)))))
Weather.kif 2709-2726
visibilityInMeteorology
r�gion
,
interval temporel
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
processus
AutonomousAgent
,
objet
and
nombre r�el
processus
est une
instance
de
Looking
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est
Horizontal
�
objet
temps
d'existence de
processus
prend place
pendant
interval temporel
eventLocated
processus
and
r�gion
la
distance
entre
AutonomousAgent
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
attribute
?ROOM
OpenLayout
)
(
and
(
instance
?ROOM
Room
)
(
exists
(?R1 ?R2 ?H)
(
and
(
instance
?R1
Region
)
(
instance
?R2
Region
)
(
located
?R1 ?ROOM)
(
located
?R2 ?ROOM)
(
not
(
equal
?R1 ?R2))
(
orientation
?R1 ?R2
Adjacent
)
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
hasPurpose
?R1 ?P1)
(
hasPurpose
?R2 ?P2)))
(=>
(
and
(
instance
?H
AutonomousAgent
)
(
located
?H ?R2))
(
and
(
capability
Seeing
agent
?H)
(
capability
Seeing
patient
?R1)))))))
Dining.kif 956-980
OpenLayout
est un
attribut
de
objet
objet
est une
instance
de
pi�ce
objet
objet
and
objet
objet
est une
instance
de
r�gion
objet
est une
instance
de
r�gion
objet
est
situ
� �
objet
objet
est
situ
� �
objet
objet
est
objet
objet
est
Adjacent
�
objet
formule
formule
formule
est une
instance
de
processus
formule
est une
instance
de
processus
objet
a pour
but
formule
objet
a pour
but
formule
objet
est une
instance
de
AutonomousAgent
objet
est
situ
� �
objet
objet
est
capable
de faire
voir
dans le r�le
agent
objet
est
capable
de faire
voir
dans le r�le
patient
(=>
(
attribute
?X
AdjoiningRoom
)
(
exists
(?ROOM ?WALL ?DOOR)
(
and
(
attribute
?ROOM
AdjoiningRoom
)
(
not
(
equal
?ROOM ?X))
(
orientation
?X ?ROOM
Adjacent
)
(
instance
?WALL
Wall
)
(
part
?WALL ?ROOM)
(
part
?WALL ?X)
(
instance
?DOOR
Door
)
(
part
?DOOR ?WALL))))
Mid-level-ontology.kif 15237-15248
AdjoiningRoom
est un
attribut
de
objet
objet
objet
and
objet
AdjoiningRoom
est un
attribut
de
objet
objet
est
objet
objet
est
Adjacent
�
objet
objet
est une
instance
de
Wall
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Door
objet
est une
partie
de
objet
(=>
(
attribute
?X
DownAndInRoom
)
(
exists
(?LOC ?INDOOR)
(
and
(
instance
?INDOOR
Indoors
)
(
instance
?LOC
Region
)
(
orientation
?LOC ?X
Adjacent
)
(
orientation
?LOC ?X
Outside
)
(
located
?LOC ?INDOOR))))
Hotel.kif 1057-1065
DownAndInRoom
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
Indoors
objet
est une
instance
de
r�gion
objet
est
Adjacent
�
objet
objet
est
Outside
�
objet
objet
est
situ
� �
objet
(=>
(
attribute
?X
DownAndOutRoom
)
(
exists
(?LOC ?OUTDOOR)
(
and
(
instance
?OUTDOOR
Outdoors
)
(
instance
?LOC
Region
)
(
orientation
?LOC ?X
Adjacent
)
(
orientation
?LOC ?X
Outside
)
(
located
?LOC ?OUTDOOR))))
Hotel.kif 1072-1080
DownAndOutRoom
est un
attribut
de
objet
objet
objet
objet
est une
instance
de
Outdoors
objet
est une
instance
de
r�gion
objet
est
Adjacent
�
objet
objet
est
Outside
�
objet
objet
est
situ
� �
objet
(=>
(
attribute
?X
LoftStyle
)
(
exists
(?FLOOR ?LOFT ?CEILING)
(
and
(
bottom
?FLOOR ?X)
(
top
?CEILING ?X)
(
instance
?LOFT
StationaryArtifact
)
(
orientation
?LOFT ?FLOOR
Above
)
(
orientation
?LOFT ?CEILING
Below
))))
Hotel.kif 1157-1165
LoftStyle
est un
attribut
de
objet en une partie
objet en une partie
objet
and
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
le
dessus
de
objet en une partie
est
objet en une partie
objet
est une
instance
de
artefact stationnaire
objet
est
Above
�
objet en une partie
objet
est
Below
�
objet en une partie
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
orientation
?OBJ1 ?OBJ2
Below
))
Merge.kif 7736-7738
depth
objet
,
objet
and
mesure de longueur
objet
est
Below
�
objet
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
elevation
objet
and
mesure de longueur
objet
objet
est une
partie
de
SeaLevel
objet
est
Vertical
�
objet
la
distance
entre
objet
et
objet
est
mesure de longueur
(=>
(
flows
?FLUID1 ?FLUID2)
(
orientation
?FLUID1 ?FLUID2
Upstream
))
Geography.kif 5446-5448
flows
objet
and
objet
objet
est
Upstream
�
objet
(=>
(
holdsDuring
?T
(
attribute
?L
Cloudy
))
(
exists
(?C)
(
and
(
instance
?C
Cloud
)
(
holdsDuring
?T
(
orientation
?C ?L
Above
)))))
Mid-level-ontology.kif 30316-30323
Cloudy
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
Cloud
entit�
est
Above
�
entit�
pendant
position temporel
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
BorderFn
secteur g�ographique
and
secteur g�ographique
est une
instance
de
secteur g�ographique
secteur g�ographique
est
Adjacent
�
secteur g�ographique
(=>
(
instance
?ATV
AllTerrainVehicle
)
(
hasPurpose
?ATV
(
exists
(?D ?L)
(
and
(
instance
?D
Transportation
)
(
instrument
?D ?ATV)
(
holdsDuring
(
WhenFn
?D)
(
orientation
?ATV ?L
On
))
(
not
(
instance
?L
Roadway
))))))
Cars.kif 4768-4778
Physique
est une
instance
de
AllTerrainVehicle
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
transporter
physique
est un
instrument
pour
entit�
physique
est
On
�
entit�
pendant
temps
d'existence de
entit�
entit�
est une
instance
de
Roadway
(=>
(
instance
?BALCONY
Balcony
)
(
exists
(?WALL ?LANDAREA)
(
and
(
meetsSpatially
?WALL ?BALCONY)
(
instance
?LANDAREA
LandArea
)
(
located
?WALL ?LANDAREA)
(
orientation
?BALCONY ?LANDAREA
Above
))))
Mid-level-ontology.kif 15385-15392
Objet
est une
instance
de
Balcony
objet
objet
objet
rencontre
objet
objet
est une
instance
de
zone de terre
objet
est
situ
� �
objet
objet
est
Above
�
objet
(=>
(
instance
?BASEMENT
Basement
)
(
not
(
exists
(?LEVEL ?BUILDING)
(
and
(
instance
?LEVEL
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL ?BUILDING)
(
part
?BASEMENT ?BUILDING)
(
not
(
equal
?LEVEL ?BASEMENT))
(
orientation
?LEVEL ?BASEMENT
Below
)))))
Mid-level-ontology.kif 15411-15420
Objet
est une
instance
de
Basement
objet
objet
objet
est une
instance
de
BuildingLevel
objet
est une
instance
de
immeuble
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
objet
objet
est
Below
�
objet
(=>
(
instance
?BOARD
IroningBoard
)
(
hasPurpose
?BOARD
(
exists
(?IRON ?FABRIC ?OBJ)
(
and
(
instance
?IRON
Ironing
)
(
patient
?IRON ?OBJ)
(
part
?FABRIC ?OBJ)
(
instance
?FABRIC
Fabric
)
(
holdsDuring
(
WhenFn
?IRON)
(
orientation
?OBJ ?BOARD
On
))))))
Mid-level-ontology.kif 25202-25213
Physique
est une
instance
de
IroningBoard
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
Ironing
entit�
est un
patient
de
entit�
entit�
est une
partie
de
entit�
entit�
est une
instance
de
textile
entit�
est
On
�
physique
pendant
temps
d'existence de
entit�
(=>
(
instance
?C
Catheter
)
(
hasPurpose
?C
(
exists
(?M ?O ?OBJ ?L)
(
and
(
instance
?O
Organism
)
(
instance
?M
Motion
)
(
moves
?M ?OBJ)
(
orientation
?L ?O
Outside
)
(
path
?M ?C)
(
or
(
and
(
origin
?M ?L)
(
destination
?M ?O))
(
and
(
origin
?M ?O)
(
destination
?M ?L)))))))
Medicine.kif 548-564
Physique
est une
instance
de
Catheter
physique
a pour
but
entit�
entit�
,
entit�
BJ and
entit�
entit�
est une
instance
de
organisme
entit�
est une
instance
de
d�palcement
moves
entit�
and
entit�
BJ
entit�
est
Outside
�
entit�
physique
est le
chemin
le long duquel
entit�
se produit
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
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