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
usa
WearableItem
WearableItem
e' uma
instancia
de
Hat
Objeto
Objeto
e' uma
instancia
de
Head
Objeto
e' uma &parte de
Animal
WearableItem
encontra
Objeto
(=>
(
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
usa
WearableItem
WearableItem
e' uma
instancia
de
Shoe
Objeto
Objeto
e' uma
instancia
de
Foot
Objeto
e' uma &parte de
Animal
WearableItem
encontra
Objeto
(=>
(
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
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
,
Numero Real
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que 2.0 +
Numero Real
Numero Real
e'
maior
que 2.0 +
Numero Real
(=>
(
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
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
,
Numero Real
,
Numero Real
,
Numero Real
and
Unidade de Medida
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
Objeto auto-conectado
Unidade de Medida
e' uma
instancia
de
UnitOfLength
o
comprimento
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) o
comprimento
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s) o
comprimento
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que 3.0 +
Numero Real
Numero Real
e'
menos
que 3.0 +
Numero Real
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9509-9513
Objeto
e'
conectado
com
Objeto
Objeto
encontra
Objeto
Objeto
engloba
Objeto
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
Objeto
e'
igual
a a
superficie
do buraco
Buraco
Objeto
e' uma parte
superficial
de o
dono
do buraco
Buraco
Buraco
encontra
Objeto
Objeto
engloba
Objeto
Objeto
engloba
Objeto
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084
Objeto
e'
igual
a a
superficie
do buraco
Buraco
Objeto
engloba
Objeto
Objeto
Objeto
e' uma parte
superficial
de o
dono
do buraco
Buraco
Buraco
encontra
Objeto
Objeto
engloba
Objeto
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
BorderFn
Area Geografica
and
Area Geografica
e' uma
instancia
de
Area Geografica
Area Geografica
encontra
Area Geografica
(=>
(
instance
?AIR
Atmosphere
)
(
exists
(?BODY)
(
and
(
instance
?BODY
AstronomicalBody
)
(
meetsSpatially
?AIR ?BODY))))
Weather.kif 22-27
Objeto
e' uma
instancia
de
Atmosphere
Objeto
Objeto
e' uma
instancia
de
Corpo Astronomico
Objeto
encontra
Objeto
(=>
(
instance
?AREA
Continent
)
(
meetsSpatially
?AREA
WorldOcean
))
Geography.kif 4508-4510
Objeto
e' uma
instancia
de
Continente
Objeto
encontra
WorldOcean
(=>
(
instance
?AREA
LandlockedArea
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
meetsSpatially
?AREA ?LAND))))
Geography.kif 952-957
Objeto
e' uma
instancia
de
LandlockedArea
Objeto
Objeto
e' uma
instancia
de
Area terrestre
Objeto
encontra
Objeto
(=>
(
instance
?AREA
LandlockedArea
)
(
not
(
exists
(?WATER ?SEA)
(
and
(
instance
?WATER
SaltWaterArea
)
(
part
?WATER ?SEA)
(
instance
?SEA
Ocean
)
(
meetsSpatially
?AREA ?WATER)))))
Geography.kif 942-950
Objeto
e' uma
instancia
de
LandlockedArea
Objeto
Objeto
Objeto
e' uma
instancia
de
Area Aquatica salgada
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Ocean
Objeto
encontra
Objeto
(=>
(
instance
?AREA
LandlockedArea
)
(
not
(
exists
(?WATER)
(
and
(
instance
?WATER
Ocean
)
(
meetsSpatially
?AREA ?WATER)))))
Geography.kif 934-940
Objeto
e' uma
instancia
de
LandlockedArea
Objeto
Objeto
e' uma
instancia
de
Ocean
Objeto
encontra
Objeto
(=>
(
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
Objeto
e' uma
instancia
de
Balcony
Objeto
Objeto
Objeto
encontra
Objeto
Objeto
e' uma
instancia
de
Area terrestre
Objeto
e'
situado
em
Objeto
Objeto
e'
Above
em relacao a
Objeto
(=>
(
instance
?BANK
ShoreArea
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
meetsSpatially
?BANK ?WATER))))
Merge.kif 14174-14179
Objeto
e' uma
instancia
de
ShoreArea
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
encontra
Objeto
(=>
(
instance
?Delta
Delta
)
(
exists
(?Mouth)
(
and
(
instance
?Mouth
RiverMouth
)
(
meetsSpatially
?Mouth ?Delta))))
Geography.kif 5782-5787
Objeto
e' uma
instancia
de
Delta
Objeto
Objeto
e' uma
instancia
de
RiverMouth
Objeto
encontra
Objeto
(=>
(
instance
?F
Furniture
)
(
hasPurpose
?F
(
exists
(?FL)
(
and
(
instance
?FL
Floor
)
(
meetsSpatially
?F ?FL)))))
Mid-level-ontology.kif 3698-3704
Fisico
e' uma
instancia
de
Furniture
Fisico
tem por
fim
Fisico
L
Fisico
L e' uma
instancia
de
Floor
Fisico
encontra
Fisico
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
Fisico
e' uma
instancia
de
PictureFrame
Fisico
tem por
fim
Entidade
Fisico
encontra
Entidade
Entidade
e' uma
instancia
de
PaintedPicture
Entidade
e' uma
instancia
de
Photograph
(=>
(
instance
?FOG
Fog
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
meetsSpatially
?FOG ?LAND))))
Mid-level-ontology.kif 8969-8974
Objeto
e' uma
instancia
de
Fog
Objeto
Objeto
e' uma
instancia
de
Area terrestre
Objeto
encontra
Objeto
(=>
(
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
Processo
e' uma
instancia
de
Frosting
Objeto
Objeto
Objeto
e' uma
instancia
de
Ice
MonoCrystalline
e' um
atributo
de
Objeto
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Objeto
Solid
e' um
atributo
de
Objeto
Processo
termina
em
Objeto
Processo
encontra
Objeto
(=>
(
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
Fisico
e' uma
instancia
de
Gasket
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Objeto Corpuscular
Entidade
e' uma
instancia
de
Objeto Corpuscular
Entidade
encontra
Fisico
Entidade
encontra
Fisico
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Buraco
Fisico
e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Translocation
Entidade
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Entidade
contem
Entidade
Entidade
nao
contem
%n
Entidade
Entidade
encontra
Entidade
Entidade
3
Entidade
contem
Entidade
3
Entidade
nao
contem
%n
Entidade
3
Entidade
nao
contem
%n
Entidade
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
Processo
e' uma
instancia
de
Hanging
Objeto
Objeto
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
String
Objeto
e' uma
instancia
de
Neck
AutonomousAgent
experimenta
Processo
Objeto
e' uma &parte de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Objeto
encontra
Objeto
vale
durante
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Icing
Objeto
Objeto
Objeto
e' uma
instancia
de
Ice
PolyCrystalline
e' um
atributo
de
Objeto
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Objeto
Solid
e' um
atributo
de
Objeto
Processo
termina
em
Objeto
Objeto
encontra
Objeto
(=>
(
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
Objeto
e' uma
instancia
de
Ilha
Objeto
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Area terrestre
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
(=>
(
instance
?ISLE
Island
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
meetsSpatially
?ISLE ?WATER))))
Merge.kif 14216-14221
Objeto
e' uma
instancia
de
Ilha
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
encontra
Objeto
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