meetsSpatially
(=>
(
and
(
wears
?PERSON ?HAT)
(
instance
?HAT
Hat
))
(
exists
(?HEAD)
(
and
(
instance
?HEAD
Head
)
(
part
?HEAD ?PERSON)
(
meetsSpatially
?HAT ?HEAD))))
Mid-level-ontology.kif 5150-5158
Animal
porte
WearableItem
WearableItem
est une
instance
de
Hat
objet
objet
est une
instance
de
Head
objet
est une
partie
de
animal
WearableItem
rencontre
objet
(=>
(
and
(
wears
?PERSON ?SHOE)
(
instance
?SHOE
Shoe
))
(
exists
(?FOOT)
(
and
(
instance
?FOOT
Foot
)
(
part
?FOOT ?PERSON)
(
meetsSpatially
?SHOE ?FOOT))))
Mid-level-ontology.kif 5184-5192
Animal
porte
WearableItem
WearableItem
est une
instance
de
Shoe
objet
objet
est une
instance
de
Foot
objet
est une
partie
de
animal
WearableItem
rencontre
objet
(=>
(
attribute
?F
Flat
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
height
?F
(
MeasureFn
?HF ?U))
(
height
?S1
(
MeasureFn
?H1 ?U))
(
height
?S2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1
(
MultiplicationFn
2.0 ?HF))
(
greaterThan
?H2
(
MultiplicationFn
2.0 ?HF)))))
Mid-level-ontology.kif 2782-2795
Flat
est un
attribut
de
objet en une partie
objet en une partie
objet en une partie
,
nombre r�el
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
rencontre
objet en une partie
objet en une partie
est
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) la
hauteur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que 2.0 +
nombre r�el
nombre r�el
est
plus
grand
que 2.0 +
nombre r�el
(=>
(
attribute
?F
LongAndThin
)
(
exists
(?S1 ?S2 ?HF ?H1 ?H2 ?U)
(
and
(
side
?S1 ?F)
(
side
?S2 ?F)
(
meetsSpatially
?S1 ?S2)
(
not
(
equal
?S1 ?S2))
(
instance
?U
UnitOfLength
)
(
length
?F
(
MeasureFn
?HF ?U))
(
length
?S1
(
MeasureFn
?H1 ?U))
(
length
?S2
(
MeasureFn
?H2 ?U))
(
lessThan
?H1
(
MultiplicationFn
3.0 ?HF))
(
lessThan
?H2
(
MultiplicationFn
3.0 ?HF)))))
Mid-level-ontology.kif 2803-2816
LongAndThin
est un
attribut
de
objet en une partie
objet en une partie
objet en une partie
,
nombre r�el
,
nombre r�el
,
nombre r�el
and
unit� de mesure
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
objet en une partie
rencontre
objet en une partie
objet en une partie
est
objet en une partie
unit� de mesure
est une
instance
de
UnitOfLength
le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s) le
longueur
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que 3.0 +
nombre r�el
nombre r�el
est
moins
que 3.0 +
nombre r�el
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9509-9513
Objet
est
connect
� �
objet
objet
rencontre
objet
objet
recouvre
objet
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
Objet
est
surface
du trou
trou
objet
est une partie
superficielle
de l
h
�te du trou
trou
trou
rencontre
objet
objet
recouvre
objet
objet
recouvre
objet
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084
Objet
est
surface
du trou
trou
objet
recouvre
objet
objet
objet
est une partie
superficielle
de l
h
�te du trou
trou
trou
rencontre
objet
objet
recouvre
objet
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
BorderFn
secteur g�ographique
and
secteur g�ographique
est une
instance
de
secteur g�ographique
secteur g�ographique
rencontre
secteur g�ographique
(=>
(
instance
?AIR
Atmosphere
)
(
exists
(?BODY)
(
and
(
instance
?BODY
AstronomicalBody
)
(
meetsSpatially
?AIR ?BODY))))
Weather.kif 22-27
Objet
est une
instance
de
Atmosphere
objet
objet
est une
instance
de
corps astronomique
objet
rencontre
objet
(=>
(
instance
?AREA
Continent
)
(
meetsSpatially
?AREA
WorldOcean
))
Geography.kif 4508-4510
Objet
est une
instance
de
continent
objet
rencontre
WorldOcean
(=>
(
instance
?AREA
LandlockedArea
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
meetsSpatially
?AREA ?LAND))))
Geography.kif 952-957
Objet
est une
instance
de
LandlockedArea
objet
objet
est une
instance
de
zone de terre
objet
rencontre
objet
(=>
(
instance
?AREA
LandlockedArea
)
(
not
(
exists
(?WATER ?SEA)
(
and
(
instance
?WATER
SaltWaterArea
)
(
part
?WATER ?SEA)
(
instance
?SEA
Ocean
)
(
meetsSpatially
?AREA ?WATER)))))
Geography.kif 942-950
Objet
est une
instance
de
LandlockedArea
objet
objet
objet
est une
instance
de
plan d'eau sal�
objet
est une
partie
de
objet
objet
est une
instance
de
Ocean
objet
rencontre
objet
(=>
(
instance
?AREA
LandlockedArea
)
(
not
(
exists
(?WATER)
(
and
(
instance
?WATER
Ocean
)
(
meetsSpatially
?AREA ?WATER)))))
Geography.kif 934-940
Objet
est une
instance
de
LandlockedArea
objet
objet
est une
instance
de
Ocean
objet
rencontre
objet
(=>
(
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
?BANK
ShoreArea
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
meetsSpatially
?BANK ?WATER))))
Merge.kif 14174-14179
Objet
est une
instance
de
ShoreArea
objet
objet
est une
instance
de
plan d'eau
objet
rencontre
objet
(=>
(
instance
?Delta
Delta
)
(
exists
(?Mouth)
(
and
(
instance
?Mouth
RiverMouth
)
(
meetsSpatially
?Mouth ?Delta))))
Geography.kif 5782-5787
Objet
est une
instance
de
Delta
objet
objet
est une
instance
de
RiverMouth
objet
rencontre
objet
(=>
(
instance
?F
Furniture
)
(
hasPurpose
?F
(
exists
(?FL)
(
and
(
instance
?FL
Floor
)
(
meetsSpatially
?F ?FL)))))
Mid-level-ontology.kif 3698-3704
Physique
est une
instance
de
Furniture
physique
a pour
but
physique
L
physique
L est une
instance
de
Floor
physique
rencontre
physique
L
(=>
(
instance
?F
PictureFrame
)
(
hasPurpose
?F
(
exists
(?P)
(
and
(
meetsSpatially
?F ?P)
(
or
(
instance
?P
PaintedPicture
)
(
instance
?P
Photograph
))))))
Mid-level-ontology.kif 1545-1553
Physique
est une
instance
de
PictureFrame
physique
a pour
but
entit�
physique
rencontre
entit�
entit�
est une
instance
de
PaintedPicture
entit�
est une
instance
de
Photograph
(=>
(
instance
?FOG
Fog
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
meetsSpatially
?FOG ?LAND))))
Mid-level-ontology.kif 8969-8974
Objet
est une
instance
de
Fog
objet
objet
est une
instance
de
zone de terre
objet
rencontre
objet
(=>
(
instance
?FROST
Frosting
)
(
exists
(?ICE ?OBJ)
(
and
(
instance
?ICE
Ice
)
(
attribute
?ICE
MonoCrystalline
)
(
patient
?FROST ?ICE)
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Solid
)
(
destination
?FROST ?OBJ)
(
meetsSpatially
?FROST ?OBJ))))
Weather.kif 2782-2792
Processus
est une
instance
de
Frosting
objet
objet
objet
est une
instance
de
Ice
MonoCrystalline
est un
attribut
de
objet
objet
est un
patient
de
processus
objet
est une
instance
de
objet
Solid
est un
attribut
de
objet
processus
aboutit
�
objet
processus
rencontre
objet
(=>
(
instance
?G
Gasket
)
(
hasPurpose
?G
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
CorpuscularObject
)
(
meetsSpatially
?O1 ?G)
(
meetsSpatially
?O2 ?G)
(
not
(
exists
(?H ?D ?T ?O)
(
and
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
instance
?T
Translocation
)
(
path
?T ?H)
(
origin
?T ?O)
(
destination
?T ?D)
(
contains
?O1 ?O)
(
not
(
contains
?O1 ?D))
(
meetsSpatially
?O1 ?D)
(
not
(
exists
(?O3)
(
and
(
contains
?H ?O3)
(
not
(
contains
?O1 ?O3))
(
not
(
contains
?O2 ?O3))))))))))))
Cars.kif 2843-2872
Physique
est une
instance
de
Gasket
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
objet corpusculaire
entit�
est une
instance
de
objet corpusculaire
entit�
rencontre
physique
entit�
rencontre
physique
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
trou
physique
est
h
�te du trou
entit�
entit�
est une
instance
de
Translocation
entit�
est le
chemin
le long duquel
entit�
se produit
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
contient
entit�
entit�
ne
contient
%n{pas}
entit�
entit�
rencontre
entit�
entit�
3
entit�
contient
entit�
3
entit�
ne
contient
%n{pas}
entit�
3
entit�
ne
contient
%n{pas}
entit�
3
(=>
(
instance
?H
Hanging
)
(
exists
(?S ?N ?P)
(
and
(
instance
?P
Human
)
(
instance
?S
String
)
(
instance
?N
Neck
)
(
experiencer
?H ?P)
(
properPart
?N ?P)
(
instrument
?H ?S)
(
holdsDuring
(
WhenFn
?H)
(
meetsSpatially
?S ?N)))))
Mid-level-ontology.kif 18477-18488
Processus
est une
instance
de
Hanging
objet
objet
and
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
objet
est une
instance
de
String
objet
est une
instance
de
Neck
AutonomousAgent
exp
�rimente
processus
objet
est une
partie
de
AutonomousAgent
objet
est un
instrument
pour
processus
objet
rencontre
objet
pendant
temps
d'existence de
processus
(=>
(
instance
?ICING
Icing
)
(
exists
(?ICE ?OBJ)
(
and
(
instance
?ICE
Ice
)
(
attribute
?ICE
PolyCrystalline
)
(
patient
?ICING ?ICE)
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Solid
)
(
destination
?ICING ?OBJ)
(
meetsSpatially
?ICE ?OBJ))))
Weather.kif 2514-2524
Processus
est une
instance
de
Icing
objet
objet
objet
est une
instance
de
Ice
PolyCrystalline
est un
attribut
de
objet
objet
est un
patient
de
processus
objet
est une
instance
de
objet
Solid
est un
attribut
de
objet
processus
aboutit
�
objet
objet
rencontre
objet
(=>
(
instance
?ISLAND
Island
)
(
not
(
exists
(?AREA ?PART1 ?PART2)
(
and
(
instance
?AREA
LandArea
)
(
part
?PART1 ?ISLAND)
(
part
?PART2 ?AREA)
(
not
(
part
?ISLAND ?AREA))
(
not
(
part
?AREA ?ISLAND))
(
meetsSpatially
?PART1 ?PART2)))))
Merge.kif 14194-14206
Objet
est une
instance
de
�le
objet
objet
and
objet
objet
est une
instance
de
zone de terre
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
rencontre
objet
(=>
(
instance
?ISLE
Island
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
meetsSpatially
?ISLE ?WATER))))
Merge.kif 14216-14221
Objet
est une
instance
de
�le
objet
objet
est une
instance
de
plan d'eau
objet
rencontre
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