TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3064-3065
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11597-11598
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1832-1833
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6929-6929
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8119-8119
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8120-8120
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11595-11595	Transporte e' relacionado internamente por SUMO a Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11594-11594	Transporte e' uma sub-classe de Translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1567-1567	Os valores retornados por TransportationFn sao as sub-classes de Transporte
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1584-1584	Os valores retornados por TripFn sao as sub-classes de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17685-17685	AirTransportation e' uma sub-classe de Transporte
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11613-11613	Dirigir e' uma sub-classe de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17767-17767	LandTransportation e' uma sub-classe de Transporte
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6531-6531	MoveToEvac e' uma sub-classe de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7693-7693	Shipping e' uma sub-classe de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7706-7706	Smuggling e' uma sub-classe de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17698-17698	SpaceTransportation e' uma sub-classe de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17790-17790	TransportViaRoadVehicle e' uma sub-classe de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17739-17739	WaterTransportation e' uma sub-classe de Transporte
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1129-1129
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1475-1475
No TPTP formula. May not be expressible in strict first order.	french_format.kif 807-807
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 339-339
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 342-342
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2491-2491
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 759-759
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 344-344
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 378-378
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 828-828
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 343-343

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23533-23533	O argumento numero 1 de conveyance e' uma instancia de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22858-22858	O argumento numero 1 de transported e' uma instancia de Transporte

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3498-3506	Objeto e' uma instancia de WaterVehicle Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Objeto Objeto e' uma instancia de Area Aquatica eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23575-23581	Processo e' uma instancia de Dirigir Transporte e' um sub-processo de Processo Transporte e' uma instancia de Transporte Processo e' um agente de AutonomousAgent transported Transporte and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23583-23589	Processo e' uma instancia de Dirigir Processo e' um sub-processo de Processo Processo e' uma instancia de Transporte Processo termina em Entidade Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23591-23598	Processo e' uma instancia de Dirigir Transporte e' um sub-processo de Processo Transporte e' uma instancia de Transporte Veiculo de Transporte e' uma instancia de Vehicle Veiculo de Transporte e' um patient de Processo conveyance Transporte and Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Movimento e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Movimento Objeto e' um instrumento para Processo Objeto e' uma instancia de GasTank Objeto e' uma &parte de Objeto Objeto e' uma instancia de EngineCylinder Objeto e' uma &parte de Objeto Movimento tem como origem Objeto Movimento termina em Objeto Objeto e' o caminho ao longo do qual Movimento ocorre Movimento tem por fim ProcessoF ProcessoF e' uma instancia de FuelFilter betweenOnPath Objeto, ProcessoF, Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Processo e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Processo Objeto e' um instrumento para Processo Objeto tem por fim Entidade Entidade Entidade e' uma instancia de GasTank Entidade e' uma &parte de Objeto Entidade e' uma instancia de EngineCylinder Entidade e' uma &parte de Objeto Processo tem como origem Entidade Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	Processo e' uma instancia de Transporte Objeto e' uma instancia de Wheel Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' um instrumento para Processo ObjetoB e' uma instancia de AntilockBrake Processo e' uma instancia de Decelerating ObjetoB e' um instrumento para Processo ObjetoB e' uma &parte de Objeto ObjetoB tem por fim Entidade Entidade e' uma instancia de Rotating Entidade acontece durante Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15451-15459	Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Objeto e' uma instancia de Pump Objeto Objeto e' um instrumento para Processo Fluid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 789-795	Processo e' uma instancia de Transporte Entidade e' um patient de Processo EntidadeS e' um instrumento para Processo EntidadeS e' uma instancia de SewageSystem Entidade e' uma instancia de Sewage
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23536-23541	Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Objeto e' uma instancia de RoadVehicle Processo e' uma instancia de TransportViaRoadVehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23556-23563	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 1852-1864	Objeto e' uma instancia de Wagon Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo AutonomousAgent Processo e' uma instancia de Pulling Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' uma instancia de DomesticAnimal AutonomousAgent e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17410-17415	onboard Objeto auto-conectado and Vehicle Vehicle e' um instrumento para Processo Processo e' uma instancia de Transporte Objeto auto-conectado e' um patient de 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.	Merge.kif 11600-11605	Processo e' uma instancia de Transporte Objeto Objeto e' uma instancia de Veiculo de Transporte Objeto e' um instrumento para Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	AutonomousAgent e' uma instancia de CavalryUnit Intervalo Temporal e' uma instancia de Batalha Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent Entidade and Intervalo Temporal Soldier e' um atributo de AutonomousAgent AutonomousAgent e' membro de AutonomousAgent Intervalo Temporal e' uma instancia de Transporte Intervalo Temporal e' um agente de AutonomousAgent Entidade e' uma instancia de Vehicle Entidade e' um patient de Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Military.kif 108-122	Colecao e' uma instancia de Convoy AutonomousAgent e' membro de Colecao AutonomousAgent e' membro de Colecao AutonomousAgent e' igual a AutonomousAgent Processo Processo and Entidade Processo e' uma instancia de Transporte Processo e' uma instancia de Transporte Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent Processo termina em Entidade Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	Processo e' uma instancia de Evacuation Processo tem como origem Objeto Processo e' um agente de Organizacao Processo ProcessoA Processo e' uma instancia de Transporte Processo termina em Objeto ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA ProcessoA e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	Colecao e' uma instancia de Organizacao AirTransportationIndustry e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Agente CognitivoLANE and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Agente CognitivoLANE Agente CognitivoLANE e' uma instancia de Aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	Colecao e' uma instancia de Organizacao CouriersAndMessengers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	Colecao e' uma instancia de Organizacao PipelineTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade, Entidade and Agente CognitivoIPE Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Colecao possui Entidade Agente CognitivoIPE e' um instrumento para Entidade Agente CognitivoIPE e' uma instancia de Pipeline
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	Colecao e' uma instancia de Organizacao PostalService e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	Colecao e' uma instancia de Organizacao RailTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de RailVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	Colecao e' uma instancia de Organizacao ScenicAndSightseeingTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Transporte Entidade e' uma instancia de Recreacao ou Exercicio Agente Cognitivo e' um patient de Entidade Colecao possui Entidade Entidade e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	Colecao e' uma instancia de Organizacao TransitAndGroundPassengerTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Colecao possui Entidade Entidade e' uma instancia de LandVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	Colecao e' uma instancia de Organizacao TruckTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de LandVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	Colecao e' uma instancia de Organizacao WaterTransportationIndustry e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Entidade Entidade e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1766-1776	Entidade e' uma instancia de CargoVehicle Entidade e' uma instancia de Humano o argumento Entidade Entidade e' uma instancia de Transporte Entidade e' um patient de Entidade Entidade e' um instrumento para Entidade nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1748-1758	Entidade e' uma instancia de PassengerVehicle Entidade e' uma instancia de Humano o argumento Entidade Entidade e' uma instancia de Transporte Entidade e' um patient de Entidade Entidade e' um instrumento para Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	maximumPayloadCapacity Vehicle and Numero Real Unidade de Medida(s) maximumPayloadHeightWidth Vehicle, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Objeto auto-conectado e' uma instancia de Objeto auto-conectado weight Objeto auto-conectado and Numero Real Numero RealU(s) a largura de Objeto auto-conectado e' Numero Real Numero RealU(s) a altura de Objeto auto-conectado e' Numero Real Numero RealU(s) Numero RealU e' igual a Unidade de Medida Numero RealU e' igual a Unidade de Medida Numero RealU e' igual a Unidade de Medida Numero Real e' menor ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Vehicle e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2610-2615	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.	Transportation.kif 1906-1921	Fisico e' uma instancia de Ambulance Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Entidade Entidade Entidade Entidade e' uma instancia de Ferir Entidade experimenta Entidade Entidade comeca antes de Entidade Entidade e' uma instancia de Transporte Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25501-25509	Fisico e' uma instancia de AirPump Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Transporte Entidade e' uma instancia de Air Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4768-4778	Fisico e' uma instancia de AllTerrainVehicle Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Transporte Fisico e' um instrumento para Entidade Fisico e' On em relacao a Entidade vale durante tempo de existencia de Entidade Entidade e' uma instancia de Roadway
No TPTP formula. May not be expressible in strict first order.	Military.kif 177-185	Fisico e' uma instancia de Bomber Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Transporte Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de ExplosiveDevice
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	Fisico e' uma instancia de Bus Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Colecao Entidade e' uma instancia de Transporte memberCount Entidade and Entidade Entidade e' maior que 11 Entidade e' membro de Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7179-7185	AutonomousAgent e' uma instancia de TransportationCompany Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Transporte
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2127-2137	Objeto e' uma instancia de PassengerRailcar ObjetoRY Objeto e' capaz de fazer a classe descrita por ObjetoRY no role instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3223-3231	AutonomousAgent e' uma instancia de RailroadCompany Processo Objeto Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Objeto e' uma instancia de Train
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15970-15972	Objeto e' uma instancia de Veiculo de Transporte Objeto e' capaz de fazer Transporte no role instrument

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: