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
Objeto Corpuscular
e' uma
instancia
de
Bed
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
BedFrame
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Mattress
Objeto Corpuscular
e'
On
em relacao a
Objeto Corpuscular
(=>
(
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 3718-3759
Objeto
e' uma
instancia
de
CarAlarm
Objeto
e' uma
instancia
de
SelfPoweredRoadVehicle
Objeto
e' uma &parte de
Objeto
Entidade
Entidade
,
Entidade
and
Entidade
Objeto
tem por
fim
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
agente
de
Entidade
Objeto
e' um
patient
de
Entidade
tempo
de existencia de
Entidade
e'
igual
a
Entidade
eventPartlyLocated
Entidade
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
e' um
agente
de
Objeto
Entidade
causa
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
Near
em relacao a
Entidade
vale
durante
Entidade
aumenta
a probabilidade de
Entidade
sabe
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Causar Dano
eventPartlyLocated
Entidade
and
Entidade
Objeto
e' um
patient
de
Entidade
vale
durante
Entidade
tempo
de existencia de
Entidade
termina
em
tempo
de existencia de
Entidade
(=>
(
and
(
instance
?X
FruitOrVegetable
)
(
part
?F ?X)
(
instance
?F
FleshOrPulp
)
(
part
?P ?X)
(
instance
?P
PeelOrRind
))
(
orientation
?F ?P
Inside
))
Food.kif 2316-2323
Objeto
e' uma
instancia
de
Fruta ou Vegetal
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
FleshOrPulp
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
PeelOrRind
Objeto
e'
Inside
em relacao a
Objeto
(=>
(
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
Area terrestre
e' uma
instancia
de
Area terrestre
groundSurfaceType
Area terrestre
and
Substancia
groundSubsurfaceType
Area terrestre
and
Substancia
Objeto
Objeto
Objeto
e' uma
instancia
de
Substancia
Objeto
e' uma
instancia
de
Substancia
Objeto
e'
Above
em relacao a
Objeto
(=>
(
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 16943-16951
Objeto
e'
Atributo Posicional
em relacao a
Objeto
@ROW e' &o oposto de
Atributo Posicional
e' um
membro
de (@ROW)
Atributo Posicional
e' um
membro
de (@ROW)
Atributo Posicional
e'
igual
a
Atributo Posicional
Objeto
e'
Atributo Posicional
em relacao a
Objeto
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?DIR)
(
instance
?DIR
PositionalAttribute
)
(
oppositeDirection
?DIR ?OPPDIR))
(
orientation
?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 18135-18140
Objeto
e'
Atributo Posicional
em relacao a
Objeto
Atributo Posicional
e' uma
instancia
de
Atributo Posicional
oppositeDirection
Atributo Posicional
and
Atributo Posicional
Objeto
e'
Atributo Posicional
em relacao a
Objeto
(=>
(
and
(
orientation
?X ?Y
Right
)
(
orientation
?Z ?Y
Left
))
(
orientation
?X ?Z
Right
))
Merge.kif 16953-16957
Objeto
e'
Right
em relacao a
Objeto
Objeto
e'
Left
em relacao a
Objeto
Objeto
e'
Right
em relacao a
Objeto
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9767-9773
O
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Atributo Posicional
Objeto auto-conectado
e'
Atributo Posicional
em relacao a
Objeto
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9752-9757
O
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto auto-conectado
(=>
(
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 2705-2722
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Processo
AutonomousAgent
,
Objeto
and
Numero Real
Processo
e' uma
instancia
de
Looking
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
eventLocated
Processo
and
Regiao
a
distancia
entre
AutonomousAgent
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Comodo
Objeto
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Regiao
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
situado
em
Objeto
Objeto
e'
situado
em
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
Formula
Formula
Formula
e' uma
instancia
de
Processo
Formula
e' uma
instancia
de
Processo
Objeto
tem por
fim
Formula
Objeto
tem por
fim
Formula
Objeto
e' uma
instancia
de
AutonomousAgent
Objeto
e'
situado
em
Objeto
Objeto
e'
capaz
de fazer
Visao
no role
agent
Objeto
e'
capaz
de fazer
Visao
no role
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 15236-15247
AdjoiningRoom
e' um
atributo
de
Objeto
Objeto
Objeto
and
Objeto
AdjoiningRoom
e' um
atributo
de
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e' uma
instancia
de
Wall
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Door
Objeto
e' uma &parte de
Objeto
(=>
(
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
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Indoors
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e'
Outside
em relacao a
Objeto
Objeto
e'
situado
em
Objeto
(=>
(
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
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Outdoors
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e'
Outside
em relacao a
Objeto
Objeto
e'
situado
em
Objeto
(=>
(
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
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
Objeto
and
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
e' uma
instancia
de
Artefato Estacionario
Objeto
e'
Above
em relacao a
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto auto-conectado
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
orientation
?OBJ1 ?OBJ2
Below
))
Merge.kif 7758-7760
depth
Objeto
,
Objeto
and
Medida de Comprimento
Objeto
e'
Below
em relacao a
Objeto
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
elevation
Objeto
and
Medida de Comprimento
Objeto
Objeto
e' uma &parte de
SeaLevel
Objeto
e'
Vertical
em relacao a
Objeto
a
distancia
entre
Objeto
e
Objeto
e'
Medida de Comprimento
(=>
(
flows
?FLUID1 ?FLUID2)
(
orientation
?FLUID1 ?FLUID2
Upstream
))
Geography.kif 5446-5448
flows
Objeto
and
Objeto
Objeto
e'
Upstream
em relacao a
Objeto
(=>
(
holdsDuring
?T
(
attribute
?L
Cloudy
))
(
exists
(?C)
(
and
(
instance
?C
Cloud
)
(
holdsDuring
?T
(
orientation
?C ?L
Above
)))))
Mid-level-ontology.kif 30304-30311
Cloudy
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Cloud
Entidade
e'
Above
em relacao a
Entidade
vale
durante
Posicao Temporal
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
BorderFn
Area Geografica
and
Area Geografica
e' uma
instancia
de
Area Geografica
Area Geografica
e'
Adjacent
em relacao a
Area Geografica
(=>
(
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 4776-4786
Fisico
e' uma
instancia
de
AllTerrainVehicle
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Fisico
e' um
instrumento
para
Entidade
Fisico
e'
On
em relacao a
Entidade
vale
durante
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
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 15384-15391
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
?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 15410-15419
Objeto
e' uma
instancia
de
Basement
Objeto
Objeto
Objeto
e' uma
instancia
de
BuildingLevel
Objeto
e' uma
instancia
de
Predio
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
Below
em relacao a
Objeto
(=>
(
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 25201-25212
Fisico
e' uma
instancia
de
IroningBoard
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Ironing
Entidade
e' um
patient
de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Tecido
Entidade
e'
On
em relacao a
Fisico
vale
durante
tempo
de existencia de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Catheter
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
BJ and
Entidade
Entidade
e' uma
instancia
de
Organismo
Entidade
e' uma
instancia
de
Movimento
moves
Entidade
and
Entidade
BJ
Entidade
e'
Outside
em relacao a
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
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