meetsSpatially
(=>
(
instance
?KISS
Kissing
)
(
exists
(?PERSON1 ?PERSON2 ?LIP1 ?LIP2)
(
and
(
agent
?KISS ?PERSON1)
(
agent
?KISS ?PERSON2)
(
instance
?PERSON1
Human
)
(
instance
?PERSON2
Human
)
(
not
(
equal
?PERSON1 ?PERSON2))
(
instance
?LIP1
Lip
)
(
instance
?LIP2
Lip
)
(
part
?LIP1 ?PERSON1)
(
part
?LIP2 ?PERSON2)
(
holdsDuring
(
BeginFn
(
WhenFn
?KISS))
(
not
(
meetsSpatially
?LIP1 ?LIP2)))
(
holdsDuring
(
EndFn
(
WhenFn
?KISS))
(
meetsSpatially
?LIP1 ?LIP2)))))
Mid-level-ontology.kif 11603-11622
Processo
e' uma
instancia
de
Kissing
AutonomousAgent
AutonomousAgent
,
Objeto
and
Objeto
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e'
igual
a
AutonomousAgent
Objeto
e' uma
instancia
de
Lip
Objeto
e' uma
instancia
de
Lip
Objeto
e' uma &parte de
AutonomousAgent
Objeto
e' uma &parte de
AutonomousAgent
Objeto
nao
encontra
%n
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Objeto
encontra
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
instance
?LAND
Shoal
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
meetsSpatially
?LAND ?WATER))))
Geography.kif 5913-5918
Objeto
e' uma
instancia
de
Shoal
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
encontra
Objeto
(=>
(
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
?LE
LungEpithelium
)
(
exists
(?L)
(
and
(
instance
?L
Lung
)
(
meetsSpatially
?L ?LE))))
Medicine.kif 3075-3080
Objeto
e' uma
instancia
de
LungEpithelium
Objeto
Objeto
e' uma
instancia
de
Lung
Objeto
encontra
Objeto
(=>
(
instance
?LINE
Shoreline
)
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
meetsSpatially
?WATER ?LINE))))
Geography.kif 6138-6143
Objeto
e' uma
instancia
de
Shoreline
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
encontra
Objeto
(=>
(
instance
?M
Meteorite
)
(
exists
(?T)
(
holdsDuring
?T
(
meetsSpatially
?M
PlanetEarth
))))
Geography.kif 3429-3433
Entidade
e' uma
instancia
de
Meteorite
Posicao Temporal
Entidade
encontra
PlanetEarth
vale
durante
Posicao Temporal
(=>
(
instance
?MT
MudTire
)
(
hasPurpose
?MT
(
exists
(?M)
(
and
(
instance
?M
Mud
)
(
meetsSpatially
?MT ?M)))))
Cars.kif 5006-5012
Fisico
e' uma
instancia
de
MudTire
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Mud
Fisico
encontra
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
?PORT
RiverPort
)
(
exists
(?RIVER)
(
and
(
instance
?RIVER
River
)
(
instance
?RIVER
Waterway
)
(
meetsSpatially
?PORT ?RIVER))))
Transportation.kif 856-862
Objeto
e' uma
instancia
de
RiverPort
Objeto
Objeto
e' uma
instancia
de
River
Objeto
e' uma
instancia
de
Waterway
Objeto
encontra
Objeto
(=>
(
instance
?SEA
Sea
)
(
exists
(?LAND)
(
and
(
instance
?LAND
LandArea
)
(
meetsSpatially
?LAND ?SEA))))
Geography.kif 4791-4796
Objeto
e' uma
instancia
de
Sea
Objeto
Objeto
e' uma
instancia
de
Area terrestre
Objeto
encontra
Objeto
(=>
(
instance
?V
Veil
)
(
hasPurpose
?V
(
exists
(?F ?H)
(
or
(
and
(
instance
?F
Face
)
(
meetsSpatially
?V ?F))
(
and
(
instance
?H
Hair
)
(
meetsSpatially
?V ?H))))))
Mid-level-ontology.kif 5472-5482
Fisico
e' uma
instancia
de
Veil
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Face
Fisico
encontra
Entidade
Entidade
e' uma
instancia
de
Hair
Fisico
encontra
Entidade
(=>
(
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
?W
WasherForBolt
)
(
hasPurpose
?W
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
AttachingDevice
)
(
meetsSpatially
?O1 ?W)
(
contains
?W ?O2)))))
Mid-level-ontology.kif 4285-4293
Fisico
e' uma
instancia
de
WasherForBolt
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Objeto Corpuscular
Entidade
e' uma
instancia
de
AttachingDevice
Entidade
encontra
Fisico
Fisico
contem
Entidade
(=>
(
instance
?WC
WheelChock
)
(
hasPurpose
?WC
(
exists
(?W ?T)
(
and
(
instance
?W
Wheel
)
(
holdsDuring
?T
(
and
(
meetsSpatially
?WC ?W)
(
not
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
patient
?R ?W))))))))))
Cars.kif 4329-4342
Fisico
e' uma
instancia
de
WheelChock
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Wheel
Fisico
encontra
Entidade
Entidade
Entidade
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Entidade
vale
durante
Entidade
(=>
(
instance
?X
BusStop
)
(
exists
(?R)
(
and
(
instance
?R
Roadway
)
(
meetsSpatially
?X ?R))))
Transportation.kif 2002-2007
Objeto
e' uma
instancia
de
BusStop
Objeto
Objeto
e' uma
instancia
de
Roadway
Objeto
encontra
Objeto
(=>
(
instance
?X
LandVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?SURF))))))
Mid-level-ontology.kif 3472-3481
Fisico
e' uma
instancia
de
LandVehicle
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
superficie
de
Area Geografica
Entidade
e' uma
instancia
de
Transporte
Fisico
encontra
Entidade
vale
durante
tempo
de existencia de
Entidade
(=>
(
instance
?X
MurphyBed
)
(
exists
(?STORAGE)
(
and
(
instance
?STORAGE
Compartment
)
(
meetsSpatially
?STORAGE ?X)
(
hasPurpose
?STORAGE
(
exists
(?K)
(
and
(
instance
?K
Keeping
)
(
patient
?K ?X)
(
destination
?K ?STORAGE)
(
holdsDuring
(
WhenFn
?K)
(
attribute
?X
Vertical
))))))))
Mid-level-ontology.kif 3893-3907
Objeto
e' uma
instancia
de
MurphyBed
Objeto
Objeto
e' uma
instancia
de
Compartment
Objeto
encontra
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Manter
Objeto
e' um
patient
de
Entidade
Entidade
termina
em
Objeto
Vertical
e' um
atributo
de
Objeto
vale
durante
tempo
de existencia de
Entidade
(=>
(
instance
?X
RailVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?RAIL)
(
and
(
instance
?RAIL
Railway
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?RAIL))))))
Transportation.kif 2036-2045
Fisico
e' uma
instancia
de
RailVehicle
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Railway
Entidade
e' uma
instancia
de
Transporte
Fisico
encontra
Entidade
vale
durante
tempo
de existencia de
Entidade
(=>
(
instance
?X
Tripod
)
(
exists
(?LEG1 ?LEG2 ?LEG3)
(
and
(
part
?LEG1 ?X)
(
part
?LEG2 ?X)
(
part
?LEG3 ?X)
(
meetsSpatially
?LEG1 ?LEG2)
(
meetsSpatially
?LEG2 ?LEG3)
(
meetsSpatially
?LEG1 ?LEG3))))
Mid-level-ontology.kif 26696-26705
Objeto
e' uma
instancia
de
Tripod
Objeto
Objeto
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
(=>
(
instance
?X
WaterVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?SURF)
(
and
(
instance
?SURF
Water
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?SURF))))))
Mid-level-ontology.kif 3487-3496
Fisico
e' uma
instancia
de
WaterVehicle
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Agua
Entidade
e' uma
instancia
de
Transporte
Fisico
encontra
Entidade
vale
durante
tempo
de existencia de
Entidade
(=>
(
instance
?bank
RiverBank
)
(
exists
(?river)
(
and
(
instance
?river
River
)
(
meetsSpatially
?river ?bank))))
Geography.kif 5761-5766
Objeto
e' uma
instancia
de
RiverBank
Objeto
Objeto
e' uma
instancia
de
River
Objeto
encontra
Objeto
(=>
(
instance
?zone
(
PerimeterAreaFn
?region))
(
meetsSpatially
?zone ?region))
Geography.kif 776-778
Objeto
e' uma
instancia
de
PerimeterAreaFn
Regiao
Objeto
encontra
Regiao
(=>
(
orientation
?OBJ1 ?OBJ2
Surrounded
)
(
forall
(?X)
(=>
(
side
?X ?OBJ1)
(
meetsSpatially
?X ?OBJ2))))
Mid-level-ontology.kif 25997-26002
Objeto auto-conectado
e'
Surrounded
em relacao a
Objeto
Objeto auto-conectado
o
side
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto
(=>
(
penetrates
?X ?Y)
(
meetsSpatially
?X ?Y))
Merge.kif 4215-4217
Objeto
penetra
Objeto
Objeto
encontra
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