connected
(=>
(
instance
?INLET
Inlet
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
connected
?INLET ?WATER))))
Geography.kif 5232-5237
Objeto
e' uma
instancia
de
Inlet
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?LABEL
Label
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
connected
?LABEL ?OBJ)
(
refers
?LABEL ?OBJ))))
Mid-level-ontology.kif 14477-14483
Objeto
e' uma
instancia
de
Label
Objeto
Objeto
e' uma
instancia
de
Objeto auto-conectado
Objeto
e'
conectado
com
Objeto
Objeto
inclui uma
referencia
a
Objeto
(=>
(
instance
?NA
NetworkAdapter
)
(
exists
(?Net)
(
and
(
instance
?Net
ComputerNetwork
)
(
connected
?NA ?Net))))
QoSontology.kif 831-836
Objeto
e' uma
instancia
de
NetworkAdapter
Objeto
Objeto
e' uma
instancia
de
ComputerNetwork
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?NECK
Neck
)
(
exists
(?HEAD)
(
and
(
instance
?HEAD
Head
)
(
connected
?NECK ?HEAD))))
Mid-level-ontology.kif 12875-12880
Objeto
e' uma
instancia
de
Neck
Objeto
Objeto
e' uma
instancia
de
Head
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?NOSE
Nose
)
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nostril
)
(
instance
?N2
Nostril
)
(
not
(
equal
?N1 ?N2))
(
connected
?N1 ?NOSE)
(
connected
?N2 ?NOSE))))
Mid-level-ontology.kif 11317-11325
Objeto
e' uma
instancia
de
Nose
Objeto
Objeto
Objeto
e' uma
instancia
de
Nostril
Objeto
e' uma
instancia
de
Nostril
Objeto
e'
igual
a
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?PORCH
Porch
)
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
connected
?PORCH ?BUILDING))))
Mid-level-ontology.kif 15644-15649
Objeto
e' uma
instancia
de
Porch
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?SAIL
Sail
)
(
exists
(?MAST)
(
and
(
material
Fabric
?SAIL)
(
instance
?MAST
Mast
)
(
connected
?SAIL ?MAST))))
Mid-level-ontology.kif 26347-26353
Objeto Corpuscular
e' uma
instancia
de
Sail
Objeto
Tecido
e'
feito
de
Objeto Corpuscular
Objeto
e' uma
instancia
de
Mast
Objeto Corpuscular
e'
conectado
com
Objeto
(=>
(
instance
?SHOWER
Shower
)
(
exists
(?X ?FLOOR)
(
and
(
or
(
instance
?X
Wall
)
(
instance
?X
Ceiling
))
(
connected
?SHOWER ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?SHOWER ?FLOOR
Above
))))
Mid-level-ontology.kif 2037-2046
Objeto
e' uma
instancia
de
Shower
Objeto
Objeto
Objeto
e' uma
instancia
de
Wall
Objeto
e' uma
instancia
de
Ceiling
Objeto
e'
conectado
com
Objeto
Objeto
e' uma
instancia
de
Floor
Objeto
e'
Above
em relacao a
Objeto
(=>
(
instance
?SL
SalineLock
)
(
hasPurpose
?SL
(
exists
(?IVL)
(
and
(
instance
?IVL
IVLine
)
(
connected
?SL ?IVL)))))
Medicine.kif 1113-1119
Fisico
e' uma
instancia
de
SalineLock
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
IVLine
Fisico
e'
conectado
com
Entidade
(=>
(
instance
?SYSTEM
RiverSystem
)
(
exists
(?RIVER ?STATIC)
(
and
(
instance
?RIVER
River
)
(
part
?RIVER ?SYSTEM)
(
instance
?STATIC
StaticWaterArea
)
(
connected
?RIVER ?STATIC))))
Geography.kif 5524-5531
Objeto
e' uma
instancia
de
RiverSystem
Objeto
Objeto
Objeto
e' uma
instancia
de
River
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Area aquatica parada
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?T
Trachea
)
(
exists
(?TH)
(
and
(
instance
?TH
Throat
)
(
connected
?TH ?T))))
Mid-level-ontology.kif 11740-11745
Objeto
e' uma
instancia
de
Trachea
Objeto
H
Objeto
H e' uma
instancia
de
Throat
Objeto
H e'
conectado
com
Objeto
(=>
(
instance
?THROAT
Throat
)
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
Mouth
)
(
connected
?THROAT ?MOUTH))))
Mid-level-ontology.kif 11727-11732
Objeto
e' uma
instancia
de
Throat
Objeto
Objeto
e' uma
instancia
de
Mouth
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?TT
TractorTrailer
)
(
exists
(?TRAC ?TRAIL)
(
and
(
instance
?TRAC
TruckTractor
)
(
instance
?TRAIL
TruckTrailer
)
(
part
?TRAC ?TT)
(
part
?TRAIL ?TT)
(
connected
?TRAC ?TRAIL))))
Transportation.kif 1831-1839
Objeto
e' uma
instancia
de
TractorTrailer
Objeto
Objeto
Objeto
e' uma
instancia
de
TruckTractor
Objeto
e' uma
instancia
de
TruckTrailer
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?WATER
Estuary
)
(
exists
(?SEA)
(
and
(
instance
?SEA
SaltWaterArea
)
(
part
?SEA
WorldOcean
)
(
connected
?SEA ?WATER))))
Geography.kif 5187-5193
Objeto
e' uma
instancia
de
Estuary
Objeto
Objeto
e' uma
instancia
de
Area Aquatica salgada
Objeto
e' uma &parte de
WorldOcean
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?X
CarBombing
)
(
exists
(?BOMB ?CAR)
(
and
(
instance
?BOMB
Bomb
)
(
instance
?CAR
TransportationDevice
)
(
instrument
?X ?CAR)
(
instrument
?X ?BOMB)
(
connected
?CAR ?BOMB))))
Mid-level-ontology.kif 21839-21847
Processo
e' uma
instancia
de
CarBombing
Objeto
Objeto
Objeto
e' uma
instancia
de
Bomb
Objeto
e' uma
instancia
de
Veiculo de Transporte
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e'
conectado
com
Objeto
(=>
(
instance
?X
FuelCapLock
)
(
hasPurpose
?X
(
exists
(?TANK ?HOLE ?T)
(
and
(
instance
?TANK
GasTank
)
(
hole
?HOLE ?TANK)
(
decreasesLikelihood
(
holdsDuring
?T
(
and
(
connected
?X ?HOLE)
(
attribute
?X
Locked
)))
(
holdsDuring
?T
(
exists
(?STEAL ?FUEL)
(
and
(
instance
?STEAL
Stealing
)
(
instance
?FUEL
Fuel
)
(
located
?FUEL ?TANK)
(
patient
?STEAL ?FUEL)))))))))
Cars.kif 1016-1034
Fisico
e' uma
instancia
de
FuelCapLock
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
GasTank
Entidade
e' um
buraco
dans
Entidade
Fisico
e'
conectado
com
Entidade
Locked
e' um
atributo
de
Fisico
vale
durante
Entidade
diminui
a probabilidade de
Entidade
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Fuel
Entidade
e'
situado
em
Entidade
Entidade
e' um
patient
de
Entidade
vale
durante
Entidade
(=>
(
instance
?X
GrabBar
)
(
and
(
exists
(?WALL)
(
and
(
instance
?WALL
Wall
)
(
connected
?X ?WALL)))
(
hasPurpose
?X
(
exists
(?GRAB)
(
and
(
instance
?GRAB
Grabbing
)
(
instrument
?GRAB ?X))))))
Mid-level-ontology.kif 26482-26493
Objeto
e' uma
instancia
de
GrabBar
Objeto
Objeto
e' uma
instancia
de
Wall
Objeto
e'
conectado
com
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Grabbing
Objeto
e' um
instrumento
para
Entidade
(=>
(
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
MultimediaProjector
)
(
hasPurpose
?X
(
exists
(?RS ?SCREEN ?VIDEO)
(
and
(
instance
?RS
RadiatingLight
)
(
instrument
?RS ?X)
(
patient
?RS ?VIDEO)
(
or
(
instance
?VIDEO
VideoRecording
)
(
instance
?VIDEO
Image
))
(
destination
?RS ?SCREEN)
(
instance
?SCREEN
Artifact
)
(
attribute
?SCREEN
Flat
)
(
not
(
connected
?X ?SCREEN))))))
Mid-level-ontology.kif 26229-26243
Fisico
e' uma
instancia
de
MultimediaProjector
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Luz Irradiante
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
VideoRecording
Entidade
e' uma
instancia
de
Image
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Artefato
Flat
e' um
atributo
de
Entidade
Fisico
e'
conectado
com
Entidade
(=>
(
instance
?X
TapeRecorder
)
(
hasPurpose
?X
(
exists
(?AUDIO ?TAPE ?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
instrument
?PROC ?X)
(
result
?PROC ?AUDIO)
(
instance
?AUDIO
AudioRecording
)
(
instance
?TAPE
RecordingTape
)
(
holdsDuring
?PROC
(
connected
?TAPE ?X))
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
(
part
?AUDIO ?TAPE))))))))
Media.kif 1336-1350
Fisico
e' uma
instancia
de
TapeRecorder
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Fisico
e' um
instrumento
para
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
AudioRecording
Entidade
e' uma
instancia
de
RecordingTape
Entidade
e'
conectado
com
Fisico
vale
durante
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
e' uma &parte de
Entidade
(=>
(
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
Near
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17132-17135
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
orientation
?OBJ1 ?OBJ2
On
)
(
connected
?OBJ1 ?OBJ2))
Merge.kif 17146-17148
Objeto
e'
On
em relacao a
Objeto
Objeto
e'
conectado
com
Objeto
(=>
(
pathInSystem
?P ?S)
(
or
(
routeInSystem
?P ?S)
(
exists
(?R1 ?R2)
(
and
(
routeInSystem
?R1 ?S)
(
routeInSystem
?R2 ?S)
(
part
?R1 ?P)
(
part
?R2 ?P)
(
connected
?R1 ?R2)))))
Transportation.kif 2727-2737
pathInSystem
Transitway
and
TransitSystem
routeInSystem
Transitway
and
TransitSystem
Transitway
Transitway
routeInSystem
Transitway
and
TransitSystem
routeInSystem
Transitway
and
TransitSystem
Transitway
e' uma &parte de
Transitway
Transitway
e' uma &parte de
Transitway
Transitway
e'
conectado
com
Transitway
(=>
(
relativeAngle
?L1 ?L2 ?M)
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2))))
Merge.kif 17894-17903
relativeAngle
Objeto
,
Objeto
and
Numero Real
Objeto
e' uma
instancia
de
Objeto
LongAndThin
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Objeto
LongAndThin
e' um
atributo
de
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
igual
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