orientation
(=>
(
instance
?D
Differential
)
(
exists
(?G1 ?G2)
(
and
(
instance
?G1
Gear
)
(
instance
?G2
Gear
)
(
part
?G1 ?D)
(
part
?G2 ?D)
(
orientation
?G1 ?G2
RightAngle
))))
Cars.kif 2263-2271
Objeto
e' uma
instancia
de
Differential
Objeto
Objeto
Objeto
e' uma
instancia
de
Gear
Objeto
e' uma
instancia
de
Gear
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
RightAngle
em relacao a
Objeto
(=>
(
instance
?G
GUIDock
)
(
exists
(?I ?P ?CP)
(
and
(
instance
?CP
ComputerProgram
)
(
programRunning
?P ?CP)
(
instance
?I
Icon
)
(
represents
?I ?P)
(
orientation
?I ?G
Inside
))))
ComputingBrands.kif 2544-2552
Objeto
e' uma
instancia
de
GUIDock
Objeto
ComputerProcess
and
Programa de Computador
Programa de Computador
e' uma
instancia
de
Programa de Computador
programRunning
ComputerProcess
and
Programa de Computador
Objeto
e' uma
instancia
de
Icone
Objeto
define
ComputerProcess
Objeto
e'
Inside
em relacao a
Objeto
(=>
(
instance
?G
ResidentialGarden
)
(
exists
(?B)
(
and
(
instance
?B
ResidentialBuilding
)
(
orientation
?G ?B
Adjacent
))))
Mid-level-ontology.kif 8180-8185
Objeto
e' uma
instancia
de
ResidentialGarden
Objeto
Objeto
e' uma
instancia
de
ResidentialBuilding
Objeto
e'
Adjacent
em relacao a
Objeto
(=>
(
instance
?G
ResidentialGarden
)
(
modalAttribute
(
exists
(?F)
(
and
(
instance
?F
Fence
)
(
orientation
?G ?F
Surrounded
)))
Likely
))
Mid-level-ontology.kif 8187-8193
Entidade
e' uma
instancia
de
ResidentialGarden
o argumento
Entidade
Entidade
e' uma
instancia
de
Fence
Entidade
e'
Surrounded
em relacao a
Entidade
tem a
forca
modal
de
Likely
(=>
(
instance
?INDOORS
Indoors
)
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
orientation
?INDOORS ?BUILDING
Inside
))))
Mid-level-ontology.kif 9144-9149
Objeto
e' uma
instancia
de
Indoors
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto
e'
Inside
em relacao a
Objeto
(=>
(
instance
?IVE
InteriorVehicleEquipment
)
(
hasPurpose
?IVE
(
exists
(?V ?E)
(
and
(
instance
?V
Automobile
)
(
instance
?E
Engine
)
(
part
?E ?V)
(
not
(
part
?IVE ?E))
(
part
?IVE ?V)
(
orientation
?IVE ?V
Inside
)))))
Cars.kif 4702-4713
Fisico
e' uma
instancia
de
InteriorVehicleEquipment
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma
instancia
de
Engine
Entidade
e' uma &parte de
Entidade
Fisico
e' uma &parte de
Entidade
Fisico
e' uma &parte de
Entidade
Fisico
e'
Inside
em relacao a
Entidade
(=>
(
instance
?LAND
SubmergedLandArea
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
orientation
?LAND ?WATER
Below
)
(
orientation
?WATER ?LAND
On
)
(
meetsSpatially
?LAND ?WATER))))
Geography.kif 6072-6079
Objeto
e' uma
instancia
de
SubmergedLandArea
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
Below
em relacao a
Objeto
Objeto
e'
On
em relacao a
Objeto
Objeto
encontra
Objeto
(=>
(
instance
?MAT
PrayerMat
)
(
hasPurpose
?MAT
(
exists
(?PRAY ?PERSON)
(
and
(
instance
?PRAY
Praying
)
(
agent
?PRAY ?PERSON)
(
instance
?PERSON
Human
)
(
holdsDuring
(
WhenFn
?PRAY)
(
orientation
?PERSON ?MAT
On
))))))
Mid-level-ontology.kif 25847-25856
Fisico
e' uma
instancia
de
PrayerMat
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Praying
Entidade
e' um
agente
de
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
On
em relacao a
Fisico
vale
durante
tempo
de existencia de
Entidade
(=>
(
instance
?OE
OutboardEngine
)
(
hasPurpose
?OE
(
exists
(?W)
(
and
(
instance
?W
WaterVehicle
)
(
meetsSpatially
?OE ?W)
(
orientation
?OE ?W
Outside
)))))
Cars.kif 4358-4365
Fisico
e' uma
instancia
de
OutboardEngine
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
WaterVehicle
Fisico
encontra
Entidade
Fisico
e'
Outside
em relacao a
Entidade
(=>
(
instance
?OUTDOORS
Outdoors
)
(
not
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
orientation
?OUTDOORS ?BUILDING
Inside
)))))
Mid-level-ontology.kif 9132-9138
Objeto
e' uma
instancia
de
Outdoors
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto
e'
Inside
em relacao a
Objeto
(=>
(
instance
?PARK
StreetParking
)
(
exists
(?STREET)
(
and
(
instance
?STREET
Street
)
(
orientation
?PARK ?STREET
On
))))
TransportDetail.kif 66-71
Objeto
e' uma
instancia
de
StreetParking
Objeto
Objeto
e' uma
instancia
de
Street
Objeto
e'
On
em relacao a
Objeto
(=>
(
instance
?PORT
PortCity
)
(
exists
(?SEA)
(
and
(
or
(
instance
?SEA
Sea
)
(
instance
?SEA
Ocean
))
(
or
(
orientation
?PORT ?SEA
Adjacent
)
(
orientation
?PORT ?SEA
Near
)))))
Transportation.kif 841-850
Objeto
e' uma
instancia
de
PortCity
Objeto
Objeto
e' uma
instancia
de
Sea
Objeto
e' uma
instancia
de
Ocean
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e'
Near
em relacao a
Objeto
(=>
(
instance
?PORT
SeaPort
)
(
exists
(?SEA)
(
and
(
or
(
instance
?SEA
Sea
)
(
instance
?SEA
Ocean
))
(
or
(
orientation
?PORT ?SEA
Adjacent
)
(
orientation
?PORT ?SEA
Near
)))))
Transportation.kif 873-882
Objeto
e' uma
instancia
de
SeaPort
Objeto
Objeto
e' uma
instancia
de
Sea
Objeto
e' uma
instancia
de
Ocean
Objeto
e'
Adjacent
em relacao a
Objeto
Objeto
e'
Near
em relacao a
Objeto
(=>
(
instance
?R
UnderwaterRegion
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
orientation
?R ?WATER
Below
))))
Mid-level-ontology.kif 17677-17682
Objeto
e' uma
instancia
de
UnderwaterRegion
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
Below
em relacao a
Objeto
(=>
(
instance
?ROOT
PlantRoot
)
(
hasPurpose
?ROOT
(
exists
(?TRAN ?STUFF ?HOST)
(
and
(
instance
?TRAN
Transfer
)
(
instrument
?TRAN ?ROOT)
(
origin
?TRAN ?HOST)
(
orientation
?HOST ?ROOT
Outside
)
(
objectTransferred
?TRAN ?STUFF)
(
or
(
instance
?STUFF
FreshWater
)
(
instance
?STUFF
Nutrient
))))))
Mid-level-ontology.kif 9506-9518
Fisico
e' uma
instancia
de
PlantRoot
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transferencia
Fisico
e' um
instrumento
para
Entidade
Entidade
tem como
origem
Entidade
Entidade
e'
Outside
em relacao a
Fisico
objectTransferred
Entidade
and
Entidade
Entidade
e' uma
instancia
de
FreshWater
Entidade
e' uma
instancia
de
Nutriente
(=>
(
instance
?Reef
Reef
)
(
exists
(?Water)
(
and
(
instance
?Water
WaterArea
)
(
orientation
?Reef ?Water
Near
))))
Geography.kif 5942-5947
Objeto
e' uma
instancia
de
Reef
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
Near
em relacao a
Objeto
(=>
(
instance
?SCUBA
ScubaDiving
)
(
exists
(?WATER ?DEVICE ?BREATH)
(
and
(
instance
?WATER
WaterArea
)
(
orientation
?SCUBA ?WATER
Below
)
(
instance
?DEVICE
Device
)
(
instance
?BREATH
Breathing
)
(
instrument
?BREATH ?DEVICE)
(
subProcess
?BREATH ?SCUBA))))
Mid-level-ontology.kif 26890-26899
Objeto
e' uma
instancia
de
ScubaDiving
Objeto
Objeto
and
Processo
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
Below
em relacao a
Objeto
Objeto
e' uma
instancia
de
Aparelho
Processo
e' uma
instancia
de
Respirar
Objeto
e' um
instrumento
para
Processo
Processo
e' um
sub
-processo de
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
?SIDE
Sidewalk
)
(
exists
(?ROAD)
(
and
(
instance
?ROAD
Roadway
)
(
orientation
?SIDE ?ROAD
Near
))))
Mid-level-ontology.kif 15661-15666
Objeto
e' uma
instancia
de
Sidewalk
Objeto
Objeto
e' uma
instancia
de
Roadway
Objeto
e'
Near
em relacao a
Objeto
(=>
(
instance
?SOAK
Soaking
)
(
exists
(?WATER ?OBJ)
(
and
(
instance
?OBJ
Object
)
(
patient
?SOAK ?OBJ)
(
instance
?WATER
FreshWater
)
(
resource
?SOAK ?WATER)
(
holdsDuring
?SOAK
(
orientation
?OBJ ?WATER
Surrounded
)))))
Mid-level-ontology.kif 26515-26524
Processo
e' uma
instancia
de
Soaking
Objeto
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
FreshWater
Objeto
e' um
recurso
para
Processo
Entidade
e'
Surrounded
em relacao a
Objeto
vale
durante
Processo
(=>
(
instance
?SURF
SurfZone
)
(
exists
(?SL)
(
and
(
instance
?SL
Shoreline
)
(
orientation
?SURF ?SL
Adjacent
))))
Weather.kif 1375-1380
Objeto
e' uma
instancia
de
SurfZone
Objeto
Objeto
e' uma
instancia
de
Shoreline
Objeto
e'
Adjacent
em relacao a
Objeto
(=>
(
instance
?VRR
VehicleRoofRack
)
(
hasPurpose
?VRR
(
exists
(?T ?A ?C)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?C)
(
instance
?A
Automobile
)
(
orientation
?VRR ?A
Outside
)
(
meetsSpatially
?C ?VRR)
(
part
?VRR ?A)
(
instrument
?T ?A)))))
Cars.kif 4677-4688
Fisico
e' uma
instancia
de
VehicleRoofRack
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transferencia
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Automobile
Fisico
e'
Outside
em relacao a
Entidade
Entidade
encontra
Fisico
Fisico
e' uma &parte de
Entidade
Entidade
e' um
instrumento
para
Entidade
(=>
(
instance
?WEAVE
Weaving
)
(
hasPurpose
?WEAVE
(
exists
(?SUB ?WARP ?WEFT ?OBJ)
(
and
(
instance
?SUB
Substance
)
(
attribute
?SUB
Pliable
)
(
patient
?WEAVE ?SUB)
(
part
?WARP ?SUB)
(
part
?WEFT ?SUB)
(
not
(
equal
?WARP ?WEFT))
(
orientation
?WARP ?WEFT
RightAngle
)
(
result
?WEAVE ?OBJ)
(
instance
?OBJ
Artifact
)))))
Mid-level-ontology.kif 4626-4640
Fisico
e' uma
instancia
de
Weaving
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Substancia
Pliable
e' um
atributo
de
Entidade
Entidade
e' um
patient
de
Fisico
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e'
igual
a
Entidade
Entidade
e'
RightAngle
em relacao a
Entidade
Entidade
e' o
resultado
de
Fisico
Entidade
e' uma
instancia
de
Artefato
(=>
(
instance
?X
BunkBed
)
(
exists
(?BED1 ?BED2)
(
and
(
instance
?BED1
SingleBed
)
(
instance
?BED2
SingleBed
)
(
part
?BED1 ?X)
(
part
?BED2 ?X)
(
orientation
?BED1 ?BED2
Above
))))
Mid-level-ontology.kif 3878-3886
Objeto
e' uma
instancia
de
BunkBed
Objeto
Objeto
Objeto
e' uma
instancia
de
SingleBed
Objeto
e' uma
instancia
de
SingleBed
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Above
em relacao a
Objeto
(=>
(
instance
?X
Checkpoint
)
(
or
(
exists
(?ROAD)
(
and
(
instance
?ROAD
Road
)
(
orientation
?ROAD ?X
Near
)))
(
exists
(?REG1 ?REG2)
(
orientation
(
BorderFn
?REG1 ?REG2) ?X
Near
))))
Geography.kif 742-750
Objeto
e' uma
instancia
de
Checkpoint
Objeto
Objeto
e' uma
instancia
de
Road
Objeto
e'
Near
em relacao a
Objeto
Area Geografica
Area Geografica
BorderFn
Area Geografica
and
Area Geografica
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