orientation
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
Transf�re
est une
instance
de
transf�re
objectTransferred
transf�re
and
objet
objet
2 est
On
�
objet
objectTransferred
transf�re
and
objet
2
(=>
(
and
(
instance
?basin
Basin
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?basin
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?basin ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4247-4257
Objet
est une
instance
de
Basin
objet
est une
instance
de
zone de terre
unit� de mesure
est une
instance
de
UnitOfLength
earthAltitude
objet
and
nombre r�el
unit� de mesure
(s)
earthAltitude
objet
and
nombre r�el
unit� de mesure
(s)
objet
est
Adjacent
�
objet
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?piedmont
Piedmont
)
(
attribute
?mountains
MountainousTerrain
)
(
orientation
?piedmont ?mountains
Adjacent
)
(
instance
?U
UnitOfLength
)
(
height
?piedmont
(
MeasureFn
?height1 ?U))
(
height
?mountains
(
MeasureFn
?height2 ?U)))
(
greaterThan
?height2 ?height1))
Geography.kif 4206-4216
Objet en une partie
est une
instance
de
Piedmont
MountainousTerrain
est un
attribut
de
objet en une partie
objet en une partie
est
Adjacent
�
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?place
UndergroundArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?place
(
MeasureFn
?alt1 ?U))
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
)
(
earthAltitude
?area
(
MeasureFn
?alt2 ?U)))
(
greaterThan
?alt2 ?alt1))
Geography.kif 3999-4010
Objet
est une
instance
de
UndergroundArea
unit� de mesure
est une
instance
de
UnitOfLength
earthAltitude
objet
and
nombre r�el
unit� de mesure
(s)
objet en une partie
est une
surface
de
PlanetEarth
objet
est une
partie
de
objet en une partie
objet
est
Below
�
objet
earthAltitude
objet
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?valley
Valley
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?valley
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?valley ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4231-4241
Objet
est une
instance
de
Valley
objet
est une
instance
de
zone de terre
unit� de mesure
est une
instance
de
UnitOfLength
earthAltitude
objet
and
nombre r�el
unit� de mesure
(s)
earthAltitude
objet
and
nombre r�el
unit� de mesure
(s)
objet
est
Adjacent
�
objet
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
Objet
est
Outside
�
r�gion
objet
est une
instance
de
PerimeterAreaFn
r�gion
objet
est une
instance
de
UniformPerimeterArea
la
largeur
de
objet
est
nombre r�el
unit� de mesure
(s) la
distance
entre
objet
et
r�gion
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
(
nombre r�el
+
nombre r�el
) est
plus
grand
que 0.0
objet
est
situ
� �
objet
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
located
?OBJ ?ZONE))
Geography.kif 852-861
Objet
est
Outside
�
r�gion
objet
est une
instance
de
PerimeterAreaFn
r�gion
objet
est une
instance
de
UniformPerimeterArea
la
largeur
de
objet
est
nombre r�el
unit� de mesure
(s) la
distance
entre
objet
et
r�gion
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
(
nombre r�el
+
nombre r�el
) est plus
petit
ou �gal � 0.0
objet
est
situ
� �
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
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
Classe
est une
sous
-classe de
tissu
classe
est une
sous
-classe de
tissu
objet
est une
instance
de
classe
objet
est une
instance
de
classe
objet
est une
instance
de
humain
objet
est une
partie
de
objet
objet
est une
partie
de
objet
classe
est
classe
classe
est une
sous
-classe de
classe
classe
est une
sous
-classe de
classe
objet
est
Adjacent
�
objet
l'argument
entit�
entit�
est une
instance
de
ConnectiveTissue
entit�
est
entre
objet
et
objet
a la
force
modale
de
Likely
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
viewType
objet
and
physique
objet
est une
instance
de
pi�ce
objet
est une
instance
de
physique
objet
est
Outside
�
objet
l'argument
entit�
entit�
entit�
est une
instance
de
humain
entit�
est
situ
� �
objet
entit�
est une
instance
de
voir
objet
est un
patient
de
entit�
entit�
est un
agent
de
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2728-2748
visibilityInMeteorology
r�gion
,
interval temporel
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
interval temporel
est une
instance
de
DayTime
processus
est une
instance
de
Looking
objet
est une
instance
de
objet
color
objet
and
Black
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est
Horizontal
�
objet
eventLocated
processus
and
r�gion
temps
d'existence de
processus
prend place
pendant
interval temporel
objet
est une
instance
de
objet
nombre r�el
la
distance
entre
AutonomousAgent
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2750-2771
visibilityInMeteorology
r�gion
,
interval temporel
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
interval temporel
est une
instance
de
NightTime
processus
est une
instance
de
Looking
objet
est une
instance
de
r�gion
Illuminated
est un
attribut
de
objet
la
mesure
de
objet
est 1000.0
Candela
(s)
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est
Horizontal
�
objet
eventLocated
processus
and
r�gion
temps
d'existence de
processus
prend place
pendant
interval temporel
objet
est une
instance
de
objet
nombre r�el
la
distance
entre
AutonomousAgent
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
orientation
?O1 ?O2
Downstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29801-29810
Objet
est
Downstream
�
objet
transf�re
objet
and
objet
transf�re
est une
instance
de
transf�re
Liquid
est un
attribut
de
objet
objet
est le
chemin
le long duquel
transf�re
se produit
transf�re
a pour
origine
objet
beforeOnPath
objet
,
objet
,
objet
and
transf�re
transf�re
aboutit
�
objet
(=>
(
orientation
?O1 ?O2
Downwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29823-29832
Objet
est
Downwind
�
objet
transf�re
objet
and
objet
transf�re
est une
instance
de
transf�re
Liquid
est un
attribut
de
objet
objet
est le
chemin
le long duquel
transf�re
se produit
transf�re
a pour
origine
objet
beforeOnPath
objet
,
objet
,
objet
and
transf�re
transf�re
aboutit
�
objet
(=>
(
orientation
?O1 ?O2
Upstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29790-29799
Objet
est
Upstream
�
objet
transf�re
objet
and
objet
transf�re
est une
instance
de
transf�re
Liquid
est un
attribut
de
objet
objet
est le
chemin
le long duquel
transf�re
se produit
transf�re
a pour
origine
objet
beforeOnPath
objet
,
objet
,
objet
and
transf�re
transf�re
aboutit
�
objet
(=>
(
orientation
?O1 ?O2
Upwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29812-29821
Objet
est
Upwind
�
objet
transf�re
objet
and
objet
transf�re
est une
instance
de
transf�re
Liquid
est un
attribut
de
objet
objet
est le
chemin
le long duquel
transf�re
se produit
transf�re
a pour
origine
objet
beforeOnPath
objet
,
objet
,
objet
and
transf�re
transf�re
aboutit
�
objet
(=>
(
orientation
?OBJ ?REGION
Inside
)
(
instance
?REGION
Region
))
Mid-level-ontology.kif 9115-9117
Objet
est
Inside
�
objet
objet
est une
instance
de
r�gion
(=>
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?REGION
Region
))
Mid-level-ontology.kif 9111-9113
Objet
est
Outside
�
objet
objet
est une
instance
de
r�gion
(=>
(
orientation
?OBJ1 ?OBJ2
Above
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17079-17082
Objet
est
Above
�
objet
objet
est
connect
� �
objet
(=>
(
orientation
?OBJ1 ?OBJ2
Downstairs
)
(
exists
(?LEVEL1 ?LEVEL2 ?BUILDING)
(
and
(
instance
?LEVEL1
BuildingLevel
)
(
instance
?LEVEL2
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL1 ?BUILDING)
(
part
?LEVEL2 ?BUILDING)
(
located
?OBJ1 ?LEVEL1)
(
located
?OBJ2 ?LEVEL2)
(
orientation
?LEVEL1 ?LEVEL2
Below
))))
Mid-level-ontology.kif 19237-19248
Objet
est
Downstairs
�
objet
objet
objet
and
objet
objet
est une
instance
de
BuildingLevel
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
situ
� �
objet
objet
est
situ
� �
objet
objet
est
Below
�
objet
(=>
(
orientation
?OBJ1 ?OBJ2
Inside
)
(
located
?OBJ1 ?OBJ2))
Merge.kif 17154-17156
Objet
est
Inside
�
objet
objet
est
situ
� �
objet
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17132-17135
Objet
est
Near
�
objet
objet
est
connect
� �
objet
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
orientation
?OBJ2 ?OBJ1
Near
))
Merge.kif 17137-17139
Objet
est
Near
�
objet
objet
est
Near
�
objet
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