TreeView Knowledge Base Browser - TransportationDevice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3622-3624
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16038-16040
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16037-16037	Veiculo de Transporte e' uma sub-classe de Aparelho

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3705-3705	Furniture e' disjunto de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11641-11641	Transporte e' relacionado internamente por SUMO a Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15449-15449	Elevator e' uma sub-classe de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Military.kif 128-128	MilitaryPlatform e' uma sub-classe de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15488-15488	Oar e' uma sub-classe de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15475-15475	Pump e' uma sub-classe de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1036-1036	SnowSki e' uma sub-classe de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16046-16046	Vehicle e' uma sub-classe de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1226-1226	WaterSki e' uma sub-classe de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26157-26157	Wheelchair e' uma sub-classe de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1280-1280	WindSurfingBoard e' uma sub-classe de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1058-1058
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1327-1327
No TPTP formula. May not be expressible in strict first order.	french_format.kif 736-736
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 267-267
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 270-270
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2420-2420
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 688-688
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 306-306
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 757-757
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 271-271

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1036-1036	O argumento numero 1 de cargoType e' uma instancia de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23586-23586	O argumento numero 2 de conveyance e' uma instancia de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3309-3309	O argumento numero 1 de passengerCapacityMaxNumber e' uma instancia de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1566-1566	O argumento numero 1 de TransportationFn e' uma sub-classe de Veiculo de Transporte

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23608-23615	Processo e' uma instancia de Transporte Processo e' um sub-processo de Processo Processo e' uma instancia de Dirigir Objeto e' um instrumento para Processo Objeto e' uma instancia de Veiculo de Transporte Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1591-1595	Vehicle e' uma instancia de Veiculo de Transporte Processo e' uma instancia de TripFn Vehicle Vehicle e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1572-1580	Veiculo de Transporte e' uma sub-classe de Veiculo de Transporte TransportationFn Veiculo de Transporte e' uma sub-classe de Transporte Processo e' uma instancia de TransportationFn Veiculo de Transporte Objeto Objeto e' uma instancia de Veiculo de Transporte Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2643-2648	trafficableForTrafficType Regiao and Objeto auto-conectado Objeto auto-conectado e' uma sub-classe de Veiculo de Transporte Objeto e' uma instancia de Objeto auto-conectado capableAtLocation Transporte, instrument, Objeto and Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16042-16044	Objeto e' uma instancia de Veiculo de Transporte Objeto e' capaz de fazer Transporte no role instrument

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7023-7040	Colecao e' uma instancia de Organizacao MotorVehicleAndPartsDealers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto AutonomousAgent e' uma instancia de Vender Objeto e' uma instancia de Veiculo de Transporte Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Veiculo de Transporte Objeto e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 5683-5699	Colecao e' uma instancia de Organizacao TransportationEquipmentManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Veiculo de Transporte Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 51-63	Fisico e' uma instancia de DisabledParking AutonomousAgent e' uma instancia de Humano Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de Disability Fisico tem finalidade Entidade Entidade Entidade e' uma instancia de Colocar playsRoleInEvent Fisico, destination and Entidade playsRoleInEvent Entidade, patient and Entidade Entidade e' uma instancia de Veiculo de Transporte para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 36-44	Fisico e' uma instancia de ParkingRegion Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Colocar playsRoleInEvent Fisico, destination and Entidade playsRoleInEvent Entidade, patient and Entidade Entidade e' uma instancia de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11646-11651	Processo e' uma instancia de Transporte Objeto Objeto e' uma instancia de Veiculo de Transporte Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21891-21899	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21956-21969	Processo e' uma instancia de Hijacking Entidade AutonomousAgent Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Veiculo de Transporte AutonomousAgent nao possui %n Entidade vale durante imediatemente antes de tempo de existencia de Processo AutonomousAgent possui Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22192-22197	Processo e' uma instancia de VehicleAttack Objeto Objeto e' uma instancia de Veiculo de Transporte Objeto e' um instrumento para Processo

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: