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 11573-11578
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 11571-11571	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 17137-17137	Accelerating e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11162-11162	Ambulating e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17307-17307	Arriving e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17375-17375	Boarding e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4382-4382	Crawling e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17416-17416	Deboarding e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17165-17165	Decelerating e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17318-17318	Disappearing e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17275-17275	Escaping e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11602-11602	Falling e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17224-17224	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 17346-17346	Immigrating e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17248-17248	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 17296-17296	Leaving e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13952-13952	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 17261-17261	Returning e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3017-3017	ShipBerthing e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17235-17235	TakingOff e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11314-11314	Transferencia e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11616-11616	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 11014-11014

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 11580-11589	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 1647-1668	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 11327-11350	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 16014-16020	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 16006-16012	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.	Merge.kif 11591-11600	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 21775-21794	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 1271-1292	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 2963-2979	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 5846-5858	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 16560-16574	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 11327-11350	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 2617-2622	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 11025-11033	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 17310-17316	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 3706-3708	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 2849-2878	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 15621-15636	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 12396-12405	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 17299-17305	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.	Merge.kif 858-860	Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Translocation no role destination
No TPTP formula. May not be expressible in strict first order.	Merge.kif 854-856	Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Translocation no role origin

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: