orientation
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
2 e'
On
em relacao a
Objeto
objectTransferred
Transferencia
and
Objeto
2
(=>
(
and
(
instance
?basin
Basin
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?basin
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?basin ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4247-4257
Objeto
e' uma
instancia
de
Basin
Objeto
e' uma
instancia
de
Area terrestre
Unidade de Medida
e' uma
instancia
de
UnitOfLength
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e'
Adjacent
em relacao a
Objeto
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?piedmont
Piedmont
)
(
attribute
?mountains
MountainousTerrain
)
(
orientation
?piedmont ?mountains
Adjacent
)
(
instance
?U
UnitOfLength
)
(
height
?piedmont
(
MeasureFn
?height1 ?U))
(
height
?mountains
(
MeasureFn
?height2 ?U)))
(
greaterThan
?height2 ?height1))
Geography.kif 4206-4216
Objeto auto-conectado
e' uma
instancia
de
Piedmont
MountainousTerrain
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
Adjacent
em relacao 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)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?place
UndergroundArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?place
(
MeasureFn
?alt1 ?U))
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
)
(
earthAltitude
?area
(
MeasureFn
?alt2 ?U)))
(
greaterThan
?alt2 ?alt1))
Geography.kif 3999-4010
Objeto
e' uma
instancia
de
UndergroundArea
Unidade de Medida
e' uma
instancia
de
UnitOfLength
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
Below
em relacao a
Objeto
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?valley
Valley
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?valley
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?valley ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4231-4241
Objeto
e' uma
instancia
de
Valley
Objeto
e' uma
instancia
de
Area terrestre
Unidade de Medida
e' uma
instancia
de
UnitOfLength
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
earthAltitude
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e'
Adjacent
em relacao a
Objeto
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
Objeto
e'
Outside
em relacao a
Regiao
Objeto
e' uma
instancia
de
PerimeterAreaFn
Regiao
Objeto
e' uma
instancia
de
UniformPerimeterArea
a
largura
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Regiao
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
(
Numero Real
+
Numero Real
) e'
maior
que 0.0
Objeto
e'
situado
em
Objeto
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
located
?OBJ ?ZONE))
Geography.kif 852-861
Objeto
e'
Outside
em relacao a
Regiao
Objeto
e' uma
instancia
de
PerimeterAreaFn
Regiao
Objeto
e' uma
instancia
de
UniformPerimeterArea
a
largura
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
distancia
entre
Objeto
e
Regiao
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
(
Numero Real
+
Numero Real
) e'
menor
ou igual a 0.0
Objeto
e'
situado
em
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 16921-16929
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 18136-18141
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 16931-16935
Objeto
e'
Right
em relacao a
Objeto
Objeto
e'
Left
em relacao a
Objeto
Objeto
e'
Right
em relacao a
Objeto
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
Classe
e' uma
sub
-classe de
Tecido
Classe
e' uma
sub
-classe de
Tecido
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Classe
e'
igual
a
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
Objeto
e'
Adjacent
em relacao a
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
ConnectiveTissue
Entidade
esta'
entre
Objeto
e
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
viewType
Objeto
and
Fisico
Objeto
e' uma
instancia
de
Comodo
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
Outside
em relacao a
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
situado
em
Objeto
Entidade
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2728-2748
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Intervalo Temporal
e' uma
instancia
de
DayTime
Processo
e' uma
instancia
de
Looking
Objeto
e' uma
instancia
de
Objeto
color
Objeto
and
Black
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
eventLocated
Processo
and
Regiao
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Objeto
Numero Real
a
distancia
entre
AutonomousAgent
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2750-2771
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Intervalo Temporal
e' uma
instancia
de
NightTime
Processo
e' uma
instancia
de
Looking
Objeto
e' uma
instancia
de
Regiao
Illuminated
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 1000.0
Candela
(s)
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
eventLocated
Processo
and
Regiao
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Objeto
Numero Real
a
distancia
entre
AutonomousAgent
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
orientation
?O1 ?O2
Downstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29801-29810
Objeto
e'
Downstream
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
(=>
(
orientation
?O1 ?O2
Downwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29823-29832
Objeto
e'
Downwind
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
(=>
(
orientation
?O1 ?O2
Upstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29790-29799
Objeto
e'
Upstream
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
(=>
(
orientation
?O1 ?O2
Upwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29812-29821
Objeto
e'
Upwind
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
(=>
(
orientation
?OBJ ?REGION
Inside
)
(
instance
?REGION
Region
))
Mid-level-ontology.kif 9115-9117
Objeto
e'
Inside
em relacao a
Objeto
Objeto
e' uma
instancia
de
Regiao
(=>
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?REGION
Region
))
Mid-level-ontology.kif 9111-9113
Objeto
e'
Outside
em relacao a
Objeto
Objeto
e' uma
instancia
de
Regiao
(=>
(
orientation
?OBJ1 ?OBJ2
Above
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17079-17082
Objeto
e'
Above
em relacao a
Objeto
Objeto
e'
conectado
com
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 19237-19248
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
Inside
)
(
located
?OBJ1 ?OBJ2))
Merge.kif 17154-17156
Objeto
e'
Inside
em relacao a
Objeto
Objeto
e'
situado
em
Objeto
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17132-17135
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
orientation
?OBJ2 ?OBJ1
Near
))
Merge.kif 17137-17139
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
Near
em relacao a
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