Translocation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3058-3061
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11597-11602
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1826-1829
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11595-11595	Translocation e' uma sub-classe de Movimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1604-1604	Os valores retornados por TransitFn sao as sub-classes de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17165-17165	Accelerating e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11174-11174	Ambulating e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17335-17335	Arriving e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17403-17403	Boarding e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4375-4375	Crawling e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17444-17444	Deboarding e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17193-17193	Decelerating e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17346-17346	Disappearing e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17303-17303	Escaping e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11626-11626	Falling e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17252-17252	Flying e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 121-121	Hajj e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17374-17374	Immigrating e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17276-17276	Landing e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 808-808	LandingWaterLand e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17324-17324	Leaving e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13980-13980	MilitaryInfiltration e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1724-1724	MovingCursor e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1417-1417	MovingTowardsPeople e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17289-17289	Returning e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3069-3069	ShipBerthing e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17263-17263	TakingOff e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11338-11338	Transferencia e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11640-11640	Transporte e' uma sub-classe de Translocation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11026-11026

O argumento numero 1 de changesLocation e' uma instancia de Translocation

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11604-11613	Processo e' uma instancia de Translocation Processo tem como origem Objeto Objeto Processo Objeto e' uma instancia de Regiao Objeto e' igual a Objeto Processo e' um sub-processo de Processo Processo e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1634-1655	Processo e' uma instancia de Tornado Processo e' uma instancia de Rotating Objeto e' uma instancia de Air ProcessoRAN e' uma instancia de Translocation Processo e' um sub-processo de Processo ProcessoRAN e' um sub-processo de Processo Objeto e' um patient de ProcessoRAN as entidades no processo ProcessoRAN se movem Horizontal Objeto Objeto auto-conectado, ProcessoOP, Objeto auto-conectado, Objeto auto-conectado and Objeto auto-conectado Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto Objeto auto-conectado e' uma &parte de Objeto ConeSegment e' um atributo de Objeto auto-conectado o topo de Objeto auto-conectado e' ProcessoOP o fundo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Cloud o fundo de Objeto auto-conectado e' Objeto auto-conectado ProcessoOP encontra Objeto auto-conectado Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11351-11374	Processo e' uma instancia de Translocation Processo e' uma instancia de Translocation Processo tem como origem Objeto Processo tem como origem Objeto Processo termina em Objeto Processo termina em Entidade AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Translocation Processo tem como origem Objeto Processo termina em Entidade Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo tempo de existencia de Processo comeca em tempo de existencia de Processo tempo de existencia de Processo termina em tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16064-16070	Objeto e' uma instancia de Vehicle Processo e' uma instancia de Translocation Objeto e' um instrumento para Processo Processo termina em Entidade Objeto e' situado em Entidade vale durante o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16056-16062	Objeto e' uma instancia de Vehicle Processo e' uma instancia de Translocation Objeto e' um instrumento para Processo Processo tem como origem Objeto Objeto e' situado em Objeto vale durante o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2725-2734	Processo e' uma sub-classe de Translocation Processo e' uma instancia de Processo eventLocated Processo and Regiao Role em Caso e' uma instancia de Role em Caso Objeto e' uma instancia de Objeto Regiao e' uma instancia de Area Geografica Objeto e' capaz de fazer Processo no role Role em Caso capableAtLocation Processo, Role em Caso, Objeto and Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11615-11624	Movimento e' uma instancia de Translocation Objeto Entidade and Objeto Objeto e' uma instancia de Objeto Entidade e' uma instancia de Objeto Objeto e' uma instancia de Objeto Objeto e' o caminho ao longo do qual Movimento ocorre Movimento tem como origem Objeto Movimento termina em Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	Expellee e' um atributo de Entidade Entidade e' um cidadao de Entidade-NATION vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Processo Objeto Objeto e' uma instancia de Nacao Objeto e' igual a Entidade-NATION Processo e' uma instancia de Translocation Processo tem como origem Objeto Entidade e' um patient de Processo Processo termina em Entidade-NATION Posicao Temporal e' uma &parte de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2003-2012	Fisico e' uma instancia de Barricade Fisico e' parcialmente localizado em Objeto Fisico tem por fim Entidade Entidade e' uma instancia de Translocation Objeto e' o caminho ao longo do qual Entidade ocorre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21828-21847	Processo e' uma instancia de Blockade Contest e' uma instancia de Contest Processo e' um sub-processo de Contest contestParticipant Contest and AutonomousAgent Processo e' um agente de AutonomousAgent Contest1 Agente Cognitivo Contest1 proibe a ocurrencia de Translocation Processo e' uma instancia de Contest1 contestParticipant Contest and Agente Cognitivo AutonomousAgent e' igual a Agente Cognitivo Agente Cognitivo deseja Entidade Entidade e' uma instancia de Contest1 Entidade e' um agente de AutonomousAgent Entidade e' um sub-processo de Contest
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1259-1280	Processo e' uma instancia de DustStorm Processo e' uma instancia de Wind Processo e' um sub-processo de Processo Transferencia Objeto, Objeto, Objeto, Objeto and Numero Real Objeto e' uma instancia de Area terrestre eventLocated Processo and Objeto surfaceWindSpeed Objeto and Numero Real KnotUnitOfSpeed(s) Numero Real e' maior que 30.0 Transferencia e' uma instancia de Translocation Transferencia e' um sub-processo de Processo objectTransferred Transferencia and Objeto objectTransferred Transferencia and Objeto Objeto e' uma instancia de ParticulateMatter Objeto e' uma instancia de Sand Objeto e' uma instancia de Area terrestre Transferencia termina em Objeto Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2940-2956	Componente de Engenharia e' uma instancia de EngineGovernor Componente de Engenharia e' uma instancia de Vehicle Componente de Engenharia e' conectado a Componente de Engenharia governorSpeed SpeedGovernor and Numero Real MilesPerHour(s) Componente de Engenharia tem por fim Entidade Entidade Entidade e' uma instancia de Translocation a medida de Componente de Engenharia e' Entidade MilesPerHour(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	Processo e' uma instancia de Evacuation Processo e' um agente de Organizacao Processo tem como origem Objeto Processo ProcessoA Processo e' uma instancia de Translocation Processo e' um sub-processo de Processo Processo tem como origem Objeto ProcessoA experimenta Processo Processo e' um agente de ProcessoA ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2501-2511	Processo e' uma instancia de Evacuation Processo tem como origem Objeto Processo termina em Entidade Processo Processo e' uma instancia de Translocation Processo e' um sub-processo de Processo Processo termina em Entidade Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5841-5853	Processo e' uma instancia de Infecting AutonomousAgent experimenta Processo Movimento Processo and AutonomousAgent Movimento e' uma instancia de Translocation moves Movimento and AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo e' uma instancia de Reproducao AutonomousAgent experimenta Processo Movimento e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 610-627	Processo e' uma instancia de FoodPickup Processo e' um agente de AutonomousAgent Processo termina em AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de FoodForFn Humano Objeto Processo and Processo AutonomousAgent e' situado em Objeto Processo e' uma instancia de Translocation Processo e' um agente de AutonomousAgent Processo termina em Objeto Processo e' uma instancia de Obter Processo tem como origem AutonomousAgent Processo termina em AutonomousAgent Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	Objeto e' uma instancia de ParkingBrake Objeto e' uma instancia de Vehicle DeviceOn e' um atributo de Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Translocation Objeto e' um patient de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16588-16602	Objeto e' uma instancia de Passport AutonomousAgent possui Objeto confersNorm Objeto, Entidade Entidade and Entidade Entidade e' uma instancia de Translocation Entidade e' um agente de AutonomousAgent Entidade tem como origem Entidade Entidade termina em Entidade Entidade e' uma instancia de Nacao Entidade e' uma instancia de Nacao Entidade e' igual a Entidade and Permission
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1523-1533	Processo e' uma instancia de StayingStill AutonomousAgent experimenta Processo Processo Processo Processo e' uma instancia de Movimento do Corpo Processo e' uma instancia de Translocation Processo causa Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11351-11374	Processo e' uma instancia de Translocation Processo e' uma instancia de Translocation Processo tem como origem Objeto Processo tem como origem Objeto Processo termina em Objeto Processo termina em Entidade AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Translocation Processo tem como origem Objeto Processo termina em Entidade Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo tempo de existencia de Processo comeca em tempo de existencia de Processo tempo de existencia de Processo termina em tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2650-2655	trafficableForTrafficType Regiao and Objeto auto-conectado Objeto auto-conectado e' uma sub-classe de AutonomousAgent Objeto e' uma instancia de Objeto auto-conectado capableAtLocation Translocation, agent, Objeto and Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11037-11045	changesLocation Translocation and AutonomousAgent Translocation e' uma instancia de Translocation AutonomousAgent e' uma instancia de Objeto AutonomousAgent e' um patient de Translocation Translocation e' um agente de AutonomousAgent AutonomousAgent experimenta Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17338-17344	Processo e' uma instancia de Arriving Processo Processo e' uma instancia de Translocation Processo e' um sub-processo de Processo tempo de existencia de Processo termina em tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1108-1117	Processo e' uma instancia de Bowling ProcessoALL Movimento and Objeto Movimento e' uma instancia de Translocation ProcessoALL e' uma instancia de BowlingBall ProcessoALL e' um patient de Movimento Objeto e' uma instancia de BowlingLane Objeto e' o caminho ao longo do qual Movimento ocorre Movimento e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1147-1155	Fisico e' uma instancia de BowlingLane Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Translocation Entidade e' uma instancia de BowlingBall Entidade e' um patient de Entidade Fisico e' o caminho ao longo do qual Entidade ocorre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3699-3701	Objeto e' uma instancia de Furniture Objeto e' capaz de fazer Translocation no role moves
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2826-2855	Fisico e' uma instancia de Gasket Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Objeto Corpuscular Entidade e' uma instancia de Objeto Corpuscular Entidade encontra Fisico Entidade encontra Fisico Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Buraco Fisico e' igual a o dono do buraco Entidade Entidade e' uma instancia de Translocation Entidade e' o caminho ao longo do qual Entidade ocorre Entidade tem como origem Entidade Entidade termina em Entidade Entidade contem Entidade Entidade nao contem %n Entidade Entidade encontra Entidade Entidade3 Entidade contem Entidade3 Entidade nao contem %n Entidade3 Entidade nao contem %n Entidade3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15649-15664	Fisico e' uma instancia de Hallway Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Translocation Fisico e' o caminho ao longo do qual Entidade ocorre Fisico e' situado em Entidade Entidade e' uma instancia de Predio Fisico esta' entre Entidade e Entidade Entidade e' uma instancia de Comodo Entidade e' uma instancia de Comodo Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12424-12433	Fisico e' uma instancia de Inflammation Transferencia Objeto Transferencia e' uma instancia de Translocation Objeto e' uma instancia de WhiteBloodCell objectTransferred Transferencia and Objeto Transferencia termina em o lugar onde Fisico estava em tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17327-17333	Processo e' uma instancia de Leaving Processo Processo e' uma instancia de Translocation Processo e' um sub-processo de Processo tempo de existencia de Processo comeca em tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6765-6771	Fisico e' uma instancia de MobileStructure Fisico tem por fim Entidade Entidade e' uma instancia de Translocation Fisico e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 858-860	Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Translocation no role destination

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

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: