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 est une sous-classe de d�palcement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1604-1604	Les valeurs retourn�es par TransitFn sont des sous-classes de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17137-17137	Accelerating est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11162-11162	Ambulating est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17307-17307	Arriving est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17375-17375	Boarding est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4382-4382	Crawling est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17416-17416	Deboarding est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17165-17165	Decelerating est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17318-17318	Disappearing est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17275-17275	Escaping est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11602-11602	Falling est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17224-17224	Flying est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 121-121	Hajj est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17346-17346	Immigrating est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17248-17248	Landing est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 808-808	LandingWaterLand est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17296-17296	Leaving est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13952-13952	MilitaryInfiltration est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1724-1724	MovingCursor est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1417-1417	MovingTowardsPeople est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17261-17261	Returning est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3017-3017	ShipBerthing est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17235-17235	TakingOff est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11314-11314	Transf�re est une sous-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11616-11616	Transporter est une sous-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

Le nombre 1 argument de changesLocation est une instance de Translocation

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11580-11589	Processus est une instance de Translocation processus a pour origine objet objet processus objet est une instance de r�gion objet est objet processus est un sous-processus de processus processus est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1647-1668	Processus est une instance de Tornado processus est une instance de Rotating objet est une instance de Air processusRAN est une instance de Translocation processus est un sous-processus de processus processusRAN est un sous-processus de processus objet est un patient de processusRAN les entit�es dans le processus processusRAN bougent Horizontal objet objet en une partie, processusOP, objet en une partie, objet en une partie and objet en une partie objet est une instance de secteur g�ographique eventLocated processus and objet objet en une partie est une partie de objet ConeSegment est un attribut de objet en une partie le dessus de objet en une partie est processusOP l' arri�re de objet en une partie est objet en une partie objet en une partie est une instance de Cloud l' arri�re de objet en une partie est objet en une partie processusOP rencontre objet en une partie objet en une partie rencontre objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11327-11350	Processus est une instance de Translocation processus est une instance de Translocation processus a pour origine objet processus a pour origine objet processus aboutit � objet processus aboutit � entit� AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus processus processus est une instance de Translocation processus a pour origine objet processus aboutit � entit� processus est un sous-processus de processus processus est un sous-processus de processus AutonomousAgent exp�rimente processus temps d'existence de processus commence temps d'existence de processus temps d'existence de processus finit temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16014-16020	Objet est une instance de Vehicle processus est une instance de Translocation objet est un instrument pour processus processus aboutit � entit� objet est situ� � entit� pendant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16006-16012	Objet est une instance de Vehicle processus est une instance de Translocation objet est un instrument pour processus processus a pour origine objet objet est situ� � objet pendant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11591-11600	D�palcement est une instance de Translocation objet entit� and objet objet est une instance de objet entit� est une instance de objet objet est une instance de objet objet est le chemin le long duquel d�palcement se produit d�palcement a pour origine objet d�palcement aboutit � entit�

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	Expellee est un attribut de entit� entit� est un citoyen de entit�-NATION pendant position temporel position temporel est une instance de interval temporel processus objet objet est une instance de nation objet est entit�-NATION processus est une instance de Translocation processus a pour origine objet entit� est un patient de processus processus aboutit � entit�-NATION position temporel est une partie de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2003-2012	Physique est une instance de Barricade physique est partiellement localis� � objet physique a pour but entit� entit� est une instance de Translocation objet est le chemin le long duquel entit� se produit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21775-21794	Processus est une instance de Blockade affrontement est une instance de affrontement processus est un sous-processus de affrontement contestParticipant affrontement and AutonomousAgent processus est un agent de AutonomousAgent affrontement1 agent cognitif affrontement1 previent l'occurrence de Translocation processus est une instance de affrontement1 contestParticipant affrontement and agent cognitif AutonomousAgent est agent cognitif agent cognitif desire entit� entit� est une instance de affrontement1 entit� est un agent de AutonomousAgent entit� est un sous-processus de affrontement
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1271-1292	Processus est une instance de DustStorm processus est une instance de Wind processus est un sous-processus de processus transf�re objet, objet, objet, objet and nombre r�el objet est une instance de zone de terre eventLocated processus and objet surfaceWindSpeed objet and nombre r�el KnotUnitOfSpeed(s) nombre r�el est plus grand que 30.0 transf�re est une instance de Translocation transf�re est un sous-processus de processus objectTransferred transf�re and objet objectTransferred transf�re and objet objet est une instance de ParticulateMatter objet est une instance de Sand objet est une instance de zone de terre transf�re aboutit � objet objet ne recouvre %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2963-2979	Composant d'un appareil est une instance de EngineGovernor composant d'un appareil est une instance de Vehicle composant d'un appareil est connect� � composant d'un appareil governorSpeed SpeedGovernor and nombre r�el MilesPerHour(s) composant d'un appareil a pour but entit� entit� entit� est une instance de Translocation la mesure de composant d'un appareil est entit� MilesPerHour(s) entit� est plus grand que nombre r�el pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	Processus est une instance de Evacuation processus est un agent de organisation processus a pour origine objet processus processusA processus est une instance de Translocation processus est un sous-processus de processus processus a pour origine objet processusA exp�rimente processus processus est un agent de processusA processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2501-2511	Processus est une instance de Evacuation processus a pour origine objet processus aboutit � entit� processus processus est une instance de Translocation processus est un sous-processus de processus processus aboutit � entit� processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5846-5858	Processus est une instance de Infecting AutonomousAgent exp�rimente processus d�palcement processus and AutonomousAgent d�palcement est une instance de Translocation moves d�palcement and AutonomousAgent AutonomousAgent est une instance de organisme processus est une instance de reproduction AutonomousAgent exp�rimente processus d�palcement est un sous-processus de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Dining.kif 610-627	Processus est une instance de FoodPickup processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent entit� est un patient de processus entit� est une instance de FoodForFn humain objet processus and processus AutonomousAgent est situ� � objet processus est une instance de Translocation processus est un agent de AutonomousAgent processus aboutit � objet processus est une instance de obtenir processus a pour origine AutonomousAgent processus aboutit � AutonomousAgent entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	Objet est une instance de ParkingBrake objet est une instance de Vehicle DeviceOn est un attribut de objet pendant position temporel objet est une partie de objet objet a pour but entit� entit� est une instance de Translocation objet est un patient de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16560-16574	Objet est une instance de Passport AutonomousAgent poss�de objet confersNorm objet, entit� entit� and entit� entit� est une instance de Translocation entit� est un agent de AutonomousAgent entit� a pour origine entit� entit� aboutit � entit� entit� est une instance de nation entit� est une instance de nation entit� est entit� and Permission
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1523-1533	Processus est une instance de StayingStill AutonomousAgent exp�rimente processus processus processus processus est une instance de mouvement du corps processus est une instance de Translocation processus cause processus processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11327-11350	Processus est une instance de Translocation processus est une instance de Translocation processus a pour origine objet processus a pour origine objet processus aboutit � objet processus aboutit � entit� AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus processus processus est une instance de Translocation processus a pour origine objet processus aboutit � entit� processus est un sous-processus de processus processus est un sous-processus de processus AutonomousAgent exp�rimente processus temps d'existence de processus commence temps d'existence de processus temps d'existence de processus finit temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2617-2622	trafficableForTrafficType r�gion and objet en une partie objet en une partie est une sous-classe de AutonomousAgent objet est une instance de objet en une partie capableAtLocation Translocation, agent, objet and r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11025-11033	changesLocation Translocation and AutonomousAgent Translocation est une instance de Translocation AutonomousAgent est une instance de objet AutonomousAgent est un patient de Translocation Translocation est un agent de AutonomousAgent AutonomousAgent exp�rimente Translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17310-17316	Processus est une instance de Arriving processus processus est une instance de Translocation processus est un sous-processus de processus temps d'existence de processus finit temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1108-1117	Processus est une instance de Bowling processusALL d�palcement and objet d�palcement est une instance de Translocation processusALL est une instance de BowlingBall processusALL est un patient de d�palcement objet est une instance de BowlingLane objet est le chemin le long duquel d�palcement se produit d�palcement est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1147-1155	Physique est une instance de BowlingLane physique a pour but entit� entit� entit� est une instance de Translocation entit� est une instance de BowlingBall entit� est un patient de entit� physique est le chemin le long duquel entit� se produit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3706-3708	Objet est une instance de Furniture objet est capable de faire Translocation dans le r�le moves
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2849-2878	Physique est une instance de Gasket physique a pour but entit� entit� entit� est une instance de objet corpusculaire entit� est une instance de objet corpusculaire entit� rencontre physique entit� rencontre physique entit� entit�, entit� and entit� entit� est une instance de trou physique est h�te du trou entit� entit� est une instance de Translocation entit� est le chemin le long duquel entit� se produit entit� a pour origine entit� entit� aboutit � entit� entit� contient entit� entit� ne contient %n{pas} entit� entit� rencontre entit� entit�3 entit� contient entit�3 entit� ne contient %n{pas} entit�3 entit� ne contient %n{pas} entit�3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15621-15636	Physique est une instance de Hallway physique a pour but entit� entit�, entit� and entit� entit� est une instance de Translocation physique est le chemin le long duquel entit� se produit physique est situ� � entit� entit� est une instance de immeuble physique est entre entit� et entit� entit� est une instance de pi�ce entit� est une instance de pi�ce entit� est situ� � entit� entit� est situ� � entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12396-12405	Physique est une instance de Inflammation transf�re objet transf�re est une instance de Translocation objet est une instance de WhiteBloodCell objectTransferred transf�re and objet transf�re aboutit � la place o� physique �tait � temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17299-17305	Processus est une instance de Leaving processus processus est une instance de Translocation processus est un sous-processus de processus temps d'existence de processus commence temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 858-860	Objet est une instance de objet objet est capable de faire Translocation dans le r�le destination
No TPTP formula. May not be expressible in strict first order.	Merge.kif 854-856	Objet est une instance de objet objet est capable de faire Translocation dans le r�le 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: