orientation
(=>
(
instance
?X
Courtyard
)
(
and
(
not
(
exists
(?ROOF)
(
and
(
instance
?ROOF
Roof
)
(
top
?ROOF ?X))))
(
exists
(?BLDG)
(
and
(
instance
?BLDG
Building
)
(
orientation
?X ?BLDG
Surrounded
)))))
Mid-level-ontology.kif 26009-26020
Objeto auto-conectado
e' uma
instancia
de
Courtyard
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Roof
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto auto-conectado
e'
Surrounded
em relacao a
Objeto
(=>
(
instance
?X
Earphone
)
(
hasPurpose
?X
(
exists
(?ES ?RS ?SIGNAL ?EAR ?PROC)
(
and
(
instance
?ES
ElectricalSignalling
)
(
patient
?ES ?SIGNAL)
(
destination
?ES ?X)
(
instance
?PROC
Process
)
(
instrument
?PROC ?X)
(
patient
?PROC ?SIGNAL)
(
result
?PROC ?RS)
(
instance
?RS
RadiatingSound
)
(
origin
?RS ?X)
(
before
(
BeginFn
(
WhenFn
?ES))
(
BeginFn
(
WhenFn
?PROC)))
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
?RS)))
(
instance
?EAR
Ear
)
(
orientation
?X ?EAR
Adjacent
)))))
Mid-level-ontology.kif 26041-26062
Fisico
e' uma
instancia
de
Earphone
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
ElectricalSignalling
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Fisico
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Som Irradiante
Entidade
tem como
origem
Fisico
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
Entidade
e' uma
instancia
de
Ear
Fisico
e'
Adjacent
em relacao a
Entidade
(=>
(
instance
?X
Exoskeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
part
?X ?A)
(
not
(
exists
(?PART)
(
and
(
properPart
?PART ?A)
(
orientation
?PART ?X
Outside
)))))))
Mid-level-ontology.kif 11690-11700
Objeto
e' uma
instancia
de
Exoskeleton
Objeto
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Outside
em relacao a
Objeto
(=>
(
instance
?X
Hammock
)
(
and
(
material
Fabric
?X)
(
exists
(?POLE1 ?POLE2 ?GROUND)
(
and
(
orientation
?POLE1 ?POLE2
Near
)
(
connected
?POLE1 ?X)
(
connected
?POLE2 ?X)
(
instance
?GROUND
LandArea
)
(
located
?X ?GROUND)
(
orientation
?X ?GROUND
Above
)))))
Mid-level-ontology.kif 3958-3969
Objeto Corpuscular
e' uma
instancia
de
Hammock
Tecido
e'
feito
de
Objeto Corpuscular
Objeto
Objeto
and
Objeto
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
conectado
com
Objeto Corpuscular
Objeto
e'
conectado
com
Objeto Corpuscular
Objeto
e' uma
instancia
de
Area terrestre
Objeto Corpuscular
e'
situado
em
Objeto
Objeto Corpuscular
e'
Above
em relacao a
Objeto
(=>
(
instance
?X
Mattress
)
(
hasPurpose
?X
(
exists
(?PERSON)
(
and
(
attribute
?PERSON
Asleep
)
(
orientation
?PERSON ?X
On
)))))
Mid-level-ontology.kif 4041-4047
Fisico
e' uma
instancia
de
Mattress
Fisico
tem por
fim
Entidade
Dormindo
e' um
atributo
de
Entidade
Entidade
e'
On
em relacao a
Fisico
(=>
(
instance
?X
Patio
)
(
and
(
modalAttribute
(
attribute
?X
Paved
)
Likely
)
(
exists
(?BLDG)
(
and
(
instance
?BLDG
Building
)
(
orientation
?X ?BLDG
Adjacent
)
(
located
?X
Outdoors
)))))
Mid-level-ontology.kif 26627-26636
Objeto
e' uma
instancia
de
Patio
o argumento
Paved
e' um
atributo
de
Objeto
tem a
forca
modal
de
Likely
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e'
situado
em
Outdoors
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
Objeto
e' uma
instancia
de
SubwaySystem
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Area Geografica
Objeto
e'
Below
em relacao a
Objeto auto-conectado
(=>
(
instance
?piedmont
Piedmont
)
(
exists
(?mountains)
(
and
(
instance
?mountains
MountainousTerrain
)
(
orientation
?piedmont ?mountains
Adjacent
))))
Geography.kif 4199-4204
Objeto
e' uma
instancia
de
Piedmont
Objeto
Objeto
e' uma
instancia
de
MountainousTerrain
Objeto
e'
Adjacent
em relacao a
Objeto
(=>
(
instance
?place
UndergroundArea
)
(
exists
(?area ?ground)
(
and
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
))))
Geography.kif 3991-3997
Objeto
e' uma
instancia
de
UndergroundArea
Objeto
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto
(=>
(
meetsSpatially
?OBJECT1 ?OBJECT2)
(
orientation
?OBJECT1 ?OBJECT2
Adjacent
))
Transportation.kif 864-866
Objeto
encontra
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
(=>
(
meetsSpatially
?X ?Y)
(
orientation
?X ?Y
Adjacent
))
Geography.kif 6163-6165
Objeto
encontra
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
(=>
(
nearOrientation
?OBJ1 ?OBJ2)
(
exists
(?X)
(
and
(
instance
?X ?OBJ2)
(
orientation
?OBJ1 ?X
Near
))))
Hotel.kif 910-915
nearOrientation
Objeto
and
Fisico
Objeto
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
Near
em relacao a
Objeto
(=>
(
neighbor
?PERSON1 ?PERSON2)
(
exists
(?HOME1 ?HOME2)
(
and
(
home
?PERSON1 ?HOME1)
(
home
?PERSON2 ?HOME2)
(
not
(
equal
?HOME1 ?HOME2))
(
orientation
?HOME1 ?HOME2
Near
))))
Mid-level-ontology.kif 6670-6677
neighbor
Humano
and
Humano
PermanentResidence
PermanentResidence
a
casa
de
Humano
e'
PermanentResidence
a
casa
de
Humano
e'
PermanentResidence
PermanentResidence
e'
igual
a
PermanentResidence
PermanentResidence
e'
Near
em relacao a
PermanentResidence
(=>
(
onOrientation
?OBJ1 ?OBJ2)
(
exists
(?X)
(
and
(
instance
?X ?OBJ2)
(
orientation
?OBJ1 ?X
On
))))
Hotel.kif 925-930
onOrientation
Objeto
and
Fisico
Objeto
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
On
em relacao a
Objeto
(=>
(
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 19236-19247
Objeto
e'
Downstairs
em relacao a
Objeto
Objeto
Objeto
and
Objeto
Objeto
e' uma
instancia
de
BuildingLevel
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'
situado
em
Objeto
Objeto
e'
situado
em
Objeto
Objeto
e'
Below
em relacao a
Objeto
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
orientation
?OBJ2 ?OBJ1
Near
))
Merge.kif 17159-17161
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
Near
em relacao a
Objeto
(=>
(
orientation
?OBJ1 ?OBJ2
On
)
(
not
(
orientation
?OBJ2 ?OBJ1
On
)))
Merge.kif 17180-17183
Objeto
e'
On
em relacao a
Objeto
Objeto
e'
On
em relacao a
Objeto
(=>
(
orientation
?OBJ1 ?OBJ2
Upstairs
)
(
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
Above
))))
Mid-level-ontology.kif 19219-19230
Objeto
e'
Upstairs
em relacao a
Objeto
Objeto
Objeto
and
Objeto
Objeto
e' uma
instancia
de
BuildingLevel
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'
situado
em
Objeto
Objeto
e'
situado
em
Objeto
Objeto
e'
Above
em relacao a
Objeto
(=>
(
orientation
?ONE ?TWO
Adjacent
)
(
orientation
?TWO ?ONE
Adjacent
))
Geography.kif 716-718
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e'
Adjacent
em relacao a
Objeto
(=>
(
orientation
?ONE ?TWO
Near
)
(
orientation
?TWO ?ONE
Near
))
Geography.kif 720-722
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
Near
em relacao a
Objeto
(=>
(
part
?OBJ ?REGION)
(
not
(
orientation
?OBJ ?REGION
Outside
)))
Mid-level-ontology.kif 9123-9126
Objeto
e' uma &parte de
Objeto
Objeto
e'
Outside
em relacao a
Objeto
(=>
(
postStreet
?POSTPLACE ?ROADWAY)
(
orientation
?POSTPLACE ?ROADWAY
Adjacent
))
Mid-level-ontology.kif 24818-24820
postStreet
PostalPlace
and
Roadway
PostalPlace
e'
Adjacent
em relacao a
Roadway
(=>
(
surfaceWindDirection
?PLACE ?DIR)
(
exists
(?WIND ?FROM)
(
and
(
instance
?WIND
Wind
)
(
instance
?FROM
Region
)
(
eventPartlyLocated
?WIND ?PLACE)
(
origin
?WIND ?FROM)
(
orientation
?FROM ?PLACE ?DIR))))
Weather.kif 178-186
surfaceWindDirection
Objeto
and
Atributo Directional
Processo
Objeto
Processo
e' uma
instancia
de
Wind
Objeto
e' uma
instancia
de
Regiao
eventPartlyLocated
Processo
and
Objeto
Processo
tem como
origem
Objeto
Objeto
e'
Atributo Directional
em relacao a
Objeto
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