orientation
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
Suite
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
HotelUnit
Objeto
Objeto
Objeto
e' uma
instancia
de
HotelRoom
Objeto
e' uma
instancia
de
HotelRoom
Objeto
e'
Inside
em relacao a
Objeto
Objeto
e'
Inside
em relacao a
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9715-9720
O
fundo
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'
Above
em relacao a
Objeto auto-conectado
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6237-6246
Objeto
e' uma
instancia
de
BodyAreaFn
Parte do Corpo
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e'
Near
em relacao a
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
instance
?A
Animal
)
(
instance
?P
(
BodySideFn
?S ?BPC))
(
contraryAttribute
?S ?SO)
(
attribute
?A
Healthy
))
(
exists
(?PO)
(
and
(
instance
?PO
(
BodySideFn
?SO ?BPC))
(
orientation
?P ?PO ?S))))
Merge.kif 14979-14990
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
BodySideFn
AntiSymmetricPositionalAttribute
and
Parte do Corpo
AntiSymmetricPositionalAttribute
e' &o oposto de
AntiSymmetricPositionalAttribute
O
Healthy
e' um
atributo
de
Objeto
Objeto
O
Objeto
O e' uma
instancia
de
BodySideFn
AntiSymmetricPositionalAttribute
O and
Parte do Corpo
Objeto
e'
AntiSymmetricPositionalAttribute
em relacao a
Objeto
O
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
Processo
e' uma
instancia
de
InPersonCommunication
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
igual
a
AutonomousAgent
AutonomousAgent
e'
Near
em relacao a
AutonomousAgent
vale
durante
Processo
(=>
(
and
(
instance
?CHIN
Chin
)
(
instance
?FACE
Face
)
(
part
?CHIN ?FACE))
(
forall
(?PART)
(=>
(
and
(
part
?PART ?FACE)
(
not
(
part
?PART ?CHIN)))
(
orientation
?PART ?CHIN
Below
))))
Mid-level-ontology.kif 12930-12941
Objeto
e' uma
instancia
de
Chin
Objeto
e' uma
instancia
de
Face
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Below
em relacao a
Objeto
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 20003-20015
Processo
e' uma
instancia
de
Dismounting
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e'
On
em relacao a
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
e'
On
em relacao a
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
Atributo Directional
e' uma
instancia
de
Atributo Directional
Area Geografica
e' uma
instancia
de
Area Geografica
DirectionalSubregionFn
Atributo Directional
and
Area Geografica
e' uma
instancia
de
Area Geografica
DirectionalSubregionFn
Atributo Directional
and
Area Geografica
e'
Atributo Directional
em relacao a
GeographicCenterFn
Area Geografica
(=>
(
and
(
instance
?DROP
Falling
)
(
origin
?DROP ?START)
(
destination
?DROP ?FINISH))
(
orientation
?FINISH ?START
Below
))
Merge.kif 11587-11592
Processo
e' uma
instancia
de
Falling
Processo
tem como
origem
Objeto
Processo
termina
em
Objeto
Objeto
e'
Below
em relacao a
Objeto
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?EYE ?E
Near
))))
Anatomy.kif 1439-1448
Objeto
e' uma
instancia
de
Eyebrow
Healthy
e' um
atributo
de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
YE
Objeto
YE e' uma
instancia
de
Eye
Objeto
YE e' uma &parte de
Objeto
Objeto
YE e'
Near
em relacao a
Objeto
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
Objeto
e' uma
instancia
de
Eyebrow
Healthy
e' um
atributo
de
Objeto
Standing
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma &parte de
Objeto
Objeto
YE
Objeto
YE e' uma
instancia
de
Eye
Objeto
YE e' uma &parte de
Objeto
Objeto
e'
Above
em relacao a
Objeto
YE
(=>
(
and
(
instance
?F
Forehead
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?F ?EYE
Above
))))
Anatomy.kif 1488-1500
Objeto
e' uma
instancia
de
Forehead
Healthy
e' um
atributo
de
Objeto
Standing
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma &parte de
Objeto
Objeto
YE
Objeto
YE e' uma
instancia
de
Eye
Objeto
YE e' uma &parte de
Objeto
Objeto
e'
Above
em relacao a
Objeto
YE
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5561-5570
Area Aquatica
e' uma
instancia
de
Waterfall
WaterMotion
e' uma
instancia
de
WaterMotion
flowCurrent
WaterMotion
and
Area Aquatica
WaterMotion
tem como
origem
Objeto
WaterMotion
termina
em
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
Above
em relacao a
Objeto
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
Objeto
e' uma
instancia
de
Continente
Objeto
e'
igual
a
Antarctica
Antarctica
e'
South
em relacao a
Objeto
(=>
(
and
(
instance
?M
Mounting
)
(
agent
?M ?A)
(
patient
?M ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
orientation
?A ?O
On
)))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
orientation
?A ?O
On
))))
Mid-level-ontology.kif 469-480
Processo
e' uma
instancia
de
Mounting
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e'
On
em relacao a
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
e'
On
em relacao a
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?MEET
Meeting
)
(
agent
?MEET ?AGENT1)
(
agent
?MEET ?AGENT2))
(
holdsDuring
(
WhenFn
?MEET)
(
orientation
?AGENT1 ?AGENT2
Near
)))
Merge.kif 13282-13287
Processo
e' uma
instancia
de
Encontro
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
Near
em relacao a
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?MID
MiddleCIButton
)
(
component
?MID ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT ?RIGHT)
(
and
(
instance
?RIGHT
RightCIButton
)
(
instance
?LEFT
LeftCIButton
)
(
component
?RIGHT ?DEV)
(
component
?LEFT ?DEV)
(
between
?LEFT ?MID ?RIGHT)
(
orientation
?MID ?LEFT
Left
)
(
orientation
?MID ?RIGHT
Right
))))
ComputerInput.kif 224-237
Objeto Corpuscular
e' uma
instancia
de
MiddleCIButton
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
ComputerInputDevice
Objeto Corpuscular
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
RightCIButton
Objeto Corpuscular
e' uma
instancia
de
LeftCIButton
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
esta'
entre
Objeto Corpuscular
e
Objeto Corpuscular
Objeto Corpuscular
e'
Left
em relacao a
Objeto Corpuscular
Objeto Corpuscular
e'
Right
em relacao a
Objeto Corpuscular
(=>
(
and
(
instance
?P
AntiSymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
not
(
orientation
?O2 ?O1 ?P)))
Merge.kif 17065-17069
Atributo Posicional
e' uma
instancia
de
AntiSymmetricPositionalAttribute
Objeto
e'
Atributo Posicional
em relacao a
Objeto
Objeto
e'
Atributo Posicional
em relacao a
Objeto
(=>
(
and
(
instance
?P
SymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
orientation
?O2 ?O1 ?P))
Merge.kif 17054-17058
Atributo Posicional
e' uma
instancia
de
SymmetricPositionalAttribute
Objeto
e'
Atributo Posicional
em relacao a
Objeto
Objeto
e'
Atributo Posicional
em relacao a
Objeto
(=>
(
and
(
instance
?RIGHT
PhysicalRightCIButton
)
(
component
?RIGHT ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT)
(
and
(
instance
?LEFT
PhysicalLeftCIButton
)
(
component
?LEFT ?DEV)
(
orientation
?RIGHT ?LEFT
Left
))))
ComputerInput.kif 204-213
Objeto Corpuscular
e' uma
instancia
de
PhysicalRightCIButton
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
ComputerInputDevice
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
PhysicalLeftCIButton
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Objeto Corpuscular
e'
Left
em relacao a
Objeto Corpuscular
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM))
(
exists
(?PL)
(
and
(
instance
?PL
ParkingLot
)
(
orientation
?RS1 ?PL
Adjacent
))))
Medicine.kif 5147-5155
Objeto
e' uma
instancia
de
StripMall
Objeto
e' uma
instancia
de
RetailStore
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ParkingLot
Objeto
e'
Adjacent
em relacao a
Objeto
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
Entidade
e' uma
instancia
de
PlantStem
Entidade
e' uma
instancia
de
PlantRoot
o argumento
Entidade
e'
Above
em relacao a
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
Transferencia
e' uma
instancia
de
Thoracentesis
Objeto
e' um
patient
de
Transferencia
Transferencia
Objeto
,
Transferencia
N,
Objeto
,
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Inserting
Transferencia
e' um
sub
-processo de
Transferencia
objectTransferred
Transferencia
and
Objeto
Transferencia
tem como
origem
Objeto
Transferencia
termina
em
Transferencia
N
Objeto
e' uma
instancia
de
Needle
Fluid
e' um
atributo
de
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
termina
em
Objeto
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma
instancia
de
Chest
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Transferencia
tem como
origem
Transferencia
N
Transferencia
termina
em
Objeto
Transferencia
N esta'
entre
Objeto
e
Objeto
Objeto
e'
Outside
em relacao a
Objeto
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
Objeto
e' uma
instancia
de
VentedChestSeal
Transferencia
e' uma
instancia
de
Colar
objectTransferred
Transferencia
and
Objeto
Transferencia
termina
em
Entidade
Objeto
tem por
fim
Transferencia
Entidade
,
Entidade
and
Entidade
Transferencia
e' uma
instancia
de
Air
Entidade
e' uma
instancia
de
Lung
Entidade
e' uma
instancia
de
Chest
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Transferencia
esta'
entre
Entidade
e
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Transferencia
Objeto
tem por
fim
Transferencia
e'
Outside
em relacao a
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Transferencia
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
Proposicao
e' uma
instancia
de
Argument
Processo
e' uma
instancia
de
Raciocinar
Proposicao
e' uma
instancia
de
Archeology
Proposicao
e' uma &sub-proposicao de
Proposicao
Processo
exprime
o conteudo de
Proposicao
Processo
Entidade
,
Fisico
,
Numero Real
,
Entidade
and
Entidade
Processo
e' uma
instancia
de
Discovering
Fisico
e' uma
instancia
de
Objeto
Fisico
e' um
patient
de
Processo
Processo
inclui uma
referencia
a
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
que 50
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
BodyOfWater
Fisico
e'
Below
em relacao a
Entidade
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
Area terrestre
Fisico
e'
Below
em relacao a
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
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