Transportation
(Transporte)
(=>
(
instance
?E
Elevator
)
(
hasPurpose
?E
(
exists
(?T ?L1 ?L2 ?B)
(
and
(
instance
?T
Transportation
)
(
origin
?T ?L1)
(
instance
?L1
BuildingLevel
)
(
destination
?T ?L2)
(
instance
?L2
BuildingLevel
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?B)
(
part
?L2 ?B)
(
instance
?B
Building
)))))
Mid-level-ontology.kif 15427-15440
Fisico
e' uma
instancia
de
Elevator
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
tem como
origem
Entidade
Entidade
e' uma
instancia
de
BuildingLevel
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
BuildingLevel
Entidade
e'
igual
a
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Predio
(=>
(
instance
?F
CargoShip
)
(
exists
(?T ?OBJ)
(
and
(
instance
?T
Transportation
)
(
instance
?OBJ
Object
)
(
hasPurpose
?F
(
and
(
agent
?T ?F)
(
patient
?T ?OBJ))))))
Mid-level-ontology.kif 30068-30077
Fisico
e' uma
instancia
de
CargoShip
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
e' uma
instancia
de
Objeto
Fisico
tem por
fim
Entidade
e' um
agente
de
Fisico
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?FP
FuelPump
)
(
hasPurpose
?FP
(
exists
(?F ?T)
(
and
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)))))
Cars.kif 1041-1049
Fisico
e' uma
instancia
de
FuelPump
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
e' uma
instancia
de
Fuel
Entidade
e' um
patient
de
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?S
Submarine
)
(
hasPurpose
?S
(
exists
(?T ?U)
(
and
(
instance
?T
Transportation
)
(
instance
?U
UnderwaterRegion
)
(
located
?T ?U)
(
instrument
?T ?S)))))
Mid-level-ontology.kif 17663-17671
Fisico
e' uma
instancia
de
Submarine
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
e' uma
instancia
de
UnderwaterRegion
Entidade
e'
situado
em
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?SKI
Skiing
)
(
exists
(?SKIS ?PROC)
(
and
(
instance
?PROC
Transportation
)
(
subProcess
?PROC ?SKI)
(
instrument
?PROC ?SKIS)
(
instance
?SKIS
SnowSki
))))
Sports.kif 1066-1073
Processo
e' uma
instancia
de
Skiing
Processo
S
Processo
Processo
e' uma
instancia
de
Transporte
Processo
e' um
sub
-processo de
Processo
Processo
S e' um
instrumento
para
Processo
Processo
S e' uma
instancia
de
SnowSki
(=>
(
instance
?SKI
SnowSki
)
(
hasPurpose
?SKI
(
exists
(?GLIDE ?SNOW ?ICE)
(
and
(
instance
?SNOW
Snowing
)
(
result
?SNOW ?ICE)
(
instance
?GLIDE
Transportation
)
(
instrument
?GLIDE ?SKI)
(
eventLocated
?GLIDE ?ICE)))))
Sports.kif 1049-1058
Fisico
e' uma
instancia
de
SnowSki
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Snowing
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Transporte
Fisico
e' um
instrumento
para
Entidade
eventLocated
Entidade
and
Entidade
(=>
(
instance
?SKI
WaterSki
)
(
hasPurpose
?SKI
(
exists
(?GLIDE ?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
instance
?GLIDE
Transportation
)
(
instrument
?GLIDE ?SKI)
(
eventLocated
?GLIDE ?WATER)))))
Sports.kif 1230-1238
Fisico
e' uma
instancia
de
WaterSki
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Area Aquatica
Entidade
e' uma
instancia
de
Transporte
Fisico
e' um
instrumento
para
Entidade
eventLocated
Entidade
and
Entidade
(=>
(
instance
?SVC
AirportShuttleService
)
(
exists
(?AIRPORT ?TRANSPORT)
(
and
(
instance
?AIRPORT
Airport
)
(
subProcess
?TRANSPORT ?SVC)
(
instance
?TRANSPORT
Transportation
)
(
or
(
destination
?TRANSPORT ?AIRPORT)
(
origin
?TRANSPORT ?AIRPORT)))))
Hotel.kif 2071-2080
Processo
e' uma
instancia
de
AirportShuttleService
Objeto
Processo
Objeto
e' uma
instancia
de
Airport
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Transporte
Processo
termina
em
Objeto
Processo
tem como
origem
Objeto
(=>
(
instance
?SVC
ShuttleService
)
(
exists
(?LIST ?VEHICLE ?AGENT)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
instance
?VEHICLE
Automobile
)
(
instance
?LIST
List
)
(
forall
(?X)
(=>
(
inList
?X ?LIST)
(
and
(
instance
?X
PostalPlace
)
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
agent
?TRANSPORT ?AGENT)
(
instrument
?TRANSPORT ?VEHICLE)
(
destination
?TRANSPORT ?X)))))))))
Hotel.kif 2035-2053
Processo
e' uma
instancia
de
ShuttleService
Lista
Objeto
and
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Automobile
Lista
e' uma
instancia
de
Lista
Entidade
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
PostalPlace
Processo
Processo
e' uma
instancia
de
Transporte
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Processo
termina
em
Entidade
(=>
(
instance
?SVC
TransportationService
)
(
exists
(?VEHICLE ?AGENT ?TRANS ?CUST)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
customer
?CUST ?AGENT)
(
instance
?VEHICLE
Vehicle
)
(
instance
?TRANS
Transportation
)
(
agent
?TRANS ?AGENT)
(
patient
?TRANS ?CUST)
(
instrument
?TRANS ?VEHICLE)
(
subProcess
?TRANS ?SVC))))
Transportation.kif 3340-3352
Processo
e' uma
instancia
de
TransportationService
Objeto
AutonomousAgent
,
Processo
and
Agente Cognitivo
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Vehicle
Processo
e' uma
instancia
de
Transporte
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
Objeto
e' uma
instancia
de
MilitaryFoodTruck
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
(=>
(
instance
?T
TankCar
)
(
exists
(?TRANS)
(
capability
(
KappaFn
?TRANS
(
exists
(?L ?T)
(
and
(
instance
?L
Liquid
)
(
instance
?TRANS
Transportation
)
(
patient
?TRANS ?L))))
instrument
?T)))
Transportation.kif 2236-2246
Objeto
e' uma
instancia
de
TankCar
Objeto
RANS
Objeto
e'
capaz
de fazer a
classe
descrita por
Objeto
RANS no role
instrument
(=>
(
instance
?WAY
AirTransitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
path
?TRANSPORT ?WAY)
(
partlyLocated
?WAY
EarthsAtmosphere
)))))
Transportation.kif 1250-1257
Fisico
e' uma
instancia
de
AirTransitway
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Transporte
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Fisico
e'
parcialmente
localizado em
EarthsAtmosphere
(=>
(
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
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
Road
)
(
hasPurpose
?X
(
exists
(?EV ?VEH)
(
and
(
instance
?EV
Transportation
)
(
eventLocated
?EV ?X)
(
instance
?VEH
LandVehicle
)
(
instrument
?EV ?VEH)))))
Mid-level-ontology.kif 22222-22230
Fisico
e' uma
instancia
de
Road
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
eventLocated
Entidade
and
Fisico
Entidade
e' uma
instancia
de
LandVehicle
Entidade
e' um
instrumento
para
Entidade
(=>
(
instance
?X
SubwaySystem
)
(
hasPurpose
?X
(
exists
(?EV ?P)
(
and
(
instance
?EV
Transportation
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
eventLocated
?EV ?X)))))
Transportation.kif 335-343
Fisico
e' uma
instancia
de
SubwaySystem
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
e' uma
instancia
de
Humano
Entidade
e' um
patient
de
Entidade
eventLocated
Entidade
and
Fisico
(=>
(
instance
?X
WaterSkiing
)
(
exists
(?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)
(
and
(
instance
?BOAT
WaterVehicle
)
(
instance
?WATER
WaterArea
)
(
instance
?SKI
WaterSki
)
(
eventLocated
?X ?WATER)
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?SKI)
(
connects
?LINE ?HUMAN ?BOAT)
(
instance
?TRANS
Transportation
)
(
instrument
?TRANS ?BOAT)
(
instance
?MOTION
Motion
)
(
agent
?MOTION ?HUMAN)
(
instrument
?MOTION ?SKI)
(
causes
?TRANS ?MOTION)
(
subProcess
?MOTION ?X))))
Sports.kif 1246-1263
Processo
e' uma
instancia
de
WaterSkiing
AutonomousAgent
Objeto
,
Objeto
,
Objeto
,
Objeto
,
Processo
and
Processo
Objeto
e' uma
instancia
de
WaterVehicle
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
WaterSki
eventLocated
Processo
and
Objeto
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e'
situado
em
Objeto
Objeto
conecta
AutonomousAgent
e
Objeto
Processo
e' uma
instancia
de
Transporte
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Movimento
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
Processo
causa
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
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
?X
Wheelchair
)
(
hasPurpose
?X
(
exists
(?TRANSPORT ?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
not
(
capability
Walking
agent
?HUMAN))
(
instance
?TRANSPORT
Transportation
)
(
agent
?TRANSPORT ?HUMAN)
(
instrument
?TRANSPORT ?X)))))
Mid-level-ontology.kif 26138-26147
Fisico
e' uma
instancia
de
Wheelchair
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
capaz
de fazer
Andar
no role
agent
Entidade
e' uma
instancia
de
Transporte
Entidade
e' um
agente
de
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
maximumPayloadCapacity
?V
(
MeasureFn
?LOAD ?UNITLOAD))
(
not
(
exists
(?TP ?O ?WO ?WOU)
(
and
(
instance
?TP
Transportation
)
(
instrument
?TP ?V)
(
patient
?TP ?O)
(
weight
?O
(
MeasureFn
?WO ?WOU))
(
equal
?WOU ?UNITLOAD)
(
greaterThan
?WO ?LOAD)))))
MilitaryDevices.kif 92-104
maximumPayloadCapacity
Vehicle
and
Numero Real
Unidade de Medida
(s)
Processo
Objeto auto-conectado
,
Numero Real
and
Numero Real
U
Processo
e' uma
instancia
de
Transporte
Vehicle
e' um
instrumento
para
Processo
Objeto auto-conectado
e' um
patient
de
Processo
weight
Objeto auto-conectado
and
Numero Real
Numero Real
U(s)
Numero Real
U e'
igual
a
Unidade de Medida
Numero Real
e'
maior
que
Numero Real
(=>
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
not
(
exists
(?TP ?O ?WO ?WOU ?HO ?HOU)
(
and
(
instance
?TP
Transportation
)
(
instrument
?TP ?V)
(
patient
?TP ?O)
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
greaterThan
?WO ?WIDTH)
(
greaterThan
?HO ?HEIGHT)))))
MilitaryDevices.kif 121-138
maximumPayloadHeightWidth
Vehicle
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Processo
Objeto auto-conectado
,
Numero Real
,
Numero Real
U,
Numero Real
and
Numero Real
U
Processo
e' uma
instancia
de
Transporte
Vehicle
e' um
instrumento
para
Processo
Objeto auto-conectado
e' um
patient
de
Processo
a
largura
de
Objeto auto-conectado
e'
Numero Real
Numero Real
U(s) a
altura
de
Objeto auto-conectado
e'
Numero Real
Numero Real
U(s)
Numero Real
U e'
igual
a
Unidade de Medida
Numero Real
U e'
igual
a
Unidade de Medida
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Numero Real
(=>
(
passenger
?PROC ?PASS)
(
instance
?PROC
Transportation
))
Mid-level-ontology.kif 30768-30770
passenger
Transferencia
and
Objeto
Transferencia
e' uma
instancia
de
Transporte
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