TreeView 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 is a subclass of motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1604-1604	The values returned by transit are subclasses of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17165-17165	Accelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11174-11174	Ambulating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17335-17335	Arriving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17403-17403	Boarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4375-4375	Crawling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17444-17444	Deboarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17193-17193	Decelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17346-17346	Disappearing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17303-17303	Escaping is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11626-11626	Falling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17252-17252	Flying is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 121-121	Hajj is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17374-17374	Immigrating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17276-17276	Landing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 808-808	Landing water land is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17324-17324	Leaving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13980-13980	Military infiltration is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1724-1724	Moving cursor is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1417-1417	Moving towards people is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17289-17289	Returning is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3069-3069	Ship berthing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17263-17263	Taking off is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11338-11338	Transfer is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11640-11640	Transportation is a subclass of 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

The number 1 argument of changes location is an instance of translocation

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11604-11613	If a process is an instance of translocation and the process originates at an object, then there exist another object and another process such that the other object is an instance of region and the object is not equal to the other object and the other process is a subprocess of the process and the other process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1634-1655	If a process is an instance of tornado and another process is an instance of rotating and an object is an instance of air and the processRAN is an instance of translocation and the other process is a subprocess of the process and the processRAN is a subprocess of the other process and the object is a patient of the processRAN and entities in the process the processRAN are moving horizontal, then there exist another object, a self connected object,, , the processOP,, , a third self connected object,, , a fourth self connected object and a fifth self connected object such that the other object is an instance of geographic area and the process is located at the other object and the self connected object is a part of the object and cone segment is an attribute of the self connected object and the top of the self connected object is the processOP and the bottom of the self connected object is the third self connected object and the fourth self connected object is an instance of cloud and the bottom of the fourth self connected object is the fifth self connected object and the processOP meets the fifth self connected object and the third self connected object meets the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11351-11374	If a process is an instance of translocation and another process is an instance of translocation and the process originates at an object and the other process originates at another object and the process ends up at the other object and the other process ends up at an entity and an agent experiences the process and the agent experiences the other process, then there exists a third process such that the third process is an instance of translocation and the third process originates at the object and the third process ends up at the entity and the process is a subprocess of the third process and the other process is a subprocess of the third process and the agent experiences the third process and the time of existence of the process starts the time of existence of the third process and the time of existence of the other process finishes the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16064-16070	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process ends up at an entity, then the object is located at the entity holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16056-16062	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process originates at another object, then the object is located at the other object holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2725-2734	If a kind of process is a subclass of translocation and another process is an instance of a kind of process and the other process is located at a region and a case role is an instance of case role and an object is an instance of object and the region is an instance of geographic area and the object is capable of doing the kind of process as a the case role, then the kind of process capable at location the case role for the object with the region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11615-11624	If a motion is an instance of translocation, then there exist an object, an entity and another object such that the object is an instance of object and the entity is an instance of object and the other object is an instance of object and the other object is path along which the motion occurs and the motion originates at the object and the motion ends up at the entity

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	If expellee is an attribute of an entity and the entity is a citizen of another entity-NATION holds during a time position and the time position is an instance of time interval, then there exist a process and an object such that the object is an instance of nation and the object is not equal to the other entity-NATION and the process is an instance of translocation and the process originates at the object and the entity is a patient of the process and the process ends up at the other entity-NATION and the time position is a part of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2003-2012	If a physical is an instance of barricade and the physical is partly located in an object, then the physical has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the object is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21828-21847	If a process is an instance of blockade and a contest is an instance of contest and the process is a subprocess of the contest and an agent participates in the contest and the agent is an agent of the process, then there exist the contest1 and a cognitive agent such that the contest1 prevents the occurrence of translocation and the process is an instance of the contest1 and the cognitive agent participates in the contest and the agent is not equal to the cognitive agent and the cognitive agent desires there exists an entity such that the entity is an instance of the contest1 and the agent is an agent of the entity and the entity is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1259-1280	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2940-2956	If an engineering component is an instance of governor and another engineering component is an instance of vehicle and the engineering component is connected to the other engineering component and the maximum speed allowed by a governor is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity and another entity such that the entity is an instance of translocation and the measure of the other engineering component is the other entity miles per hour(s) and the other entity is greater than the real number holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	If a process is an instance of evacuating and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2501-2511	If a process is an instance of evacuating and the process originates at an object and the process ends up at an entity, then there exists another process such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process ends up at the entity and the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5841-5853	If a process is an instance of infecting and an agent experiences the process, then there exist a motion, another process and another agent such that the motion is an instance of translocation and the other agent moves during the motion and the other agent is an instance of organism and the other process is an instance of replication and the other agent experiences the other process and the motion is a subprocess of the process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 610-627	If a process is an instance of food pickup and an agent is an agent of the process and the process ends up at another agent and an entity is a patient of the process, then the entity is an instance of food for human and there exist an object, another process and a third process such that the agent is located at the object and the other process is an instance of translocation and the other agent is an agent of the other process and the other process ends up at the object and the third process is an instance of getting and the third process originates at the agent and the third process ends up at the other agent and the entity is a patient of the third process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	If an object is an instance of parking brake and another object is an instance of vehicle and device on is an attribute of the object holds during a time position and the object is a part of the other object, then the object has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the other object is a patient of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16588-16602	If an object is an instance of passport and an agent possesses the object, then the object confers norm there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the agent is an agent of the entity and the entity originates at the other entity and the entity ends up at the third entity and the other entity is an instance of nation and the third entity is an instance of nation and the other entity is not equal to the third entity for permission
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1523-1533	If a process is an instance of staying still and an agent experiences the process, then there don't exist another process and a third process such that the other process is an instance of body motion and the third process is an instance of translocation and the other process causes the third process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11351-11374	If a process is an instance of translocation and another process is an instance of translocation and the process originates at an object and the other process originates at another object and the process ends up at the other object and the other process ends up at an entity and an agent experiences the process and the agent experiences the other process, then there exists a third process such that the third process is an instance of translocation and the third process originates at the object and the third process ends up at the entity and the process is a subprocess of the third process and the other process is a subprocess of the third process and the agent experiences the third process and the time of existence of the process starts the time of existence of the third process and the time of existence of the other process finishes the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2650-2655	If a kind of self connected object is a trafficable for traffic type of a region and a kind of self connected object is a subclass of agent and an object is an instance of the kind of self connected object, then translocation capable at location agent for the object with the region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11037-11045	If an agent is a changes location of a translocation, then the translocation is an instance of translocation and the agent is an instance of object and the agent is a patient of the translocation or the agent is an agent of the translocation or the agent experiences the translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17338-17344	If a process is an instance of arriving, then there exists another process such that the other process is an instance of translocation and the process is a subprocess of the other process and the time of existence of the process finishes the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1108-1117	If a process is an instance of bowling, then there exist the processALL, a motion and an object such that the motion is an instance of translocation and the processALL is an instance of bowling ball and the processALL is a patient of the motion and the object is an instance of bowling lane and the object is path along which the motion occurs and the motion is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1147-1155	If a physical is an instance of bowling lane, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the other entity is an instance of bowling ball and the other entity is a patient of the entity and the physical is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3699-3701	If an object is an instance of furniture, then the object is capable of doing translocation as a moves
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2826-2855	If a physical is an instance of gasket, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of corpuscular object and the entity meets the physical and the other entity meets the physical and there don't exist a third entity, a fourth entity,, , a fifth entity and a sixth entity such that the third entity is an instance of hole and the physical is equal to the host of the hole the third entity and the fifth entity is an instance of translocation and the third entity is path along which the fifth entity occurs and the fifth entity originates at the sixth entity and the fifth entity ends up at the fourth entity and the entity contains the sixth entity and the entity doesn't contain the fourth entity and the entity meets the fourth entity and there doesn't exist the sixth entity3 such that the third entity contains the sixth entity3 and the entity doesn't contain the sixth entity3 and the other entity doesn't contain the sixth entity3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15649-15664	If a physical is an instance of hall, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the physical is located at the other entity and the other entity is an instance of building and the physical is between the third entity and the fourth entity and the third entity is an instance of room and the fourth entity is an instance of room and the third entity is located at the other entity and the fourth entity is located at the other entity and the third entity is not equal to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12424-12433	If a physical is an instance of inflammation, then there exist a transfer and an object such that the transfer is an instance of translocation and the object is an instance of white blood cell and the object transferred in the transfer is the object and the transfer ends up at the place where the physical was at the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17327-17333	If a process is an instance of leaving, then there exists another process such that the other process is an instance of translocation and the process is a subprocess of the other process and the time of existence of the process starts the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6765-6771	If a physical is an instance of mobile structure, then the physical has the purpose there exists an entity such that the entity is an instance of translocation and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 858-860	If an object is an instance of object, then the object is capable of doing translocation as a destination

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: