Translocation - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Translocation,s__ChineseLanguage,'"Translocation 属于 Motion 的类别，这是物体从一处移动到另一处。在往返的情况下，origin 和 destination 相同，但是中间会经过其他地点。 Translocation 表示线性移动，这和旋转或其他在原地运动不同。它并不需有交通工具，Ambulating 算是 Translocation 的一种。"')

chinese_format.kif 3058-3061

s__documentation(s__Translocation,s__EnglishLanguage,'"Translocation is that class of Motions in which an object moves from one place to another. In the case of round trips, the origin and destination are the same, but the intervening motion passes through other locations. Translocation represents linear motion, in contrast to rotation or other movement in place. A vehicle is not necessary, Ambulating is a kind of Translocation."')

Merge.kif 10741-10746

s__subclass(s__Translocation,s__Motion)

s__instance(s__Motion,s__SetOrClass)

s__instance(s__Translocation,s__SetOrClass)

Merge.kif 10739-10739

Translocation is a subclass of motion

appearance as argument number 2

s__rangeSubclass(s__TransitFn__m,s__Translocation)	Transportation.kif 1589-1589	The values returned by transit are subclasses of translocation
s__instance(s__Accelerating,s__SetOrClass) s__subclass(s__Accelerating,s__Translocation) s__instance(s__Translocation,s__SetOrClass)	Mid-level-ontology.kif 14723-14723	Accelerating is a subclass of translocation
s__instance(s__Ambulating,s__SetOrClass) s__instance(s__Translocation,s__SetOrClass) s__subclass(s__Ambulating,s__Translocation)	Merge.kif 10378-10378	Ambulating is a subclass of translocation
s__instance(s__Arriving,s__SetOrClass) s__subclass(s__Arriving,s__Translocation) s__instance(s__Translocation,s__SetOrClass)	Mid-level-ontology.kif 14870-14870	Arriving is a subclass of translocation
s__instance(s__Boarding,s__SetOrClass) s__instance(s__Translocation,s__SetOrClass) s__subclass(s__Boarding,s__Translocation)	Mid-level-ontology.kif 14937-14937	Boarding is a subclass of translocation
s__subclass(s__Crawling,s__Translocation) s__instance(s__Translocation,s__SetOrClass) s__instance(s__Crawling,s__SetOrClass)	Mid-level-ontology.kif 4850-4850	Crawling is a subclass of translocation
s__subclass(s__Deboarding,s__Translocation) s__instance(s__Translocation,s__SetOrClass) s__instance(s__Deboarding,s__SetOrClass)	Mid-level-ontology.kif 14977-14977	Deboarding is a subclass of translocation
s__subclass(s__Decelerating,s__Translocation) s__instance(s__Translocation,s__SetOrClass) s__instance(s__Decelerating,s__SetOrClass)	Mid-level-ontology.kif 14740-14740	Decelerating is a subclass of translocation
s__subclass(s__Disappearing,s__Translocation) s__instance(s__Disappearing,s__SetOrClass) s__instance(s__Translocation,s__SetOrClass)	Mid-level-ontology.kif 14881-14881	Disappearing is a subclass of translocation
s__instance(s__Escaping,s__SetOrClass) s__subclass(s__Escaping,s__Translocation) s__instance(s__Translocation,s__SetOrClass)	Mid-level-ontology.kif 14840-14840	Escaping is a subclass of translocation
s__instance(s__Falling,s__SetOrClass) s__instance(s__Translocation,s__SetOrClass) s__subclass(s__Falling,s__Translocation)	Merge.kif 10770-10770	Falling is a subclass of translocation
s__instance(s__Flying,s__SetOrClass) s__instance(s__Translocation,s__SetOrClass) s__subclass(s__Flying,s__Translocation)	Mid-level-ontology.kif 14789-14789	Flying is a subclass of translocation
s__subclass(s__Hajj,s__Translocation) s__instance(s__Hajj,s__SetOrClass) s__instance(s__Translocation,s__SetOrClass)	ArabicCulture.kif 112-112	Hajj is a subclass of translocation
s__subclass(s__Immigrating,s__Translocation) s__instance(s__Immigrating,s__SetOrClass) s__instance(s__Translocation,s__SetOrClass)	Mid-level-ontology.kif 14908-14908	Immigrating is a subclass of translocation
s__subclass(s__Landing,s__Translocation) s__instance(s__Translocation,s__SetOrClass) s__instance(s__Landing,s__SetOrClass)	Mid-level-ontology.kif 14813-14813	Landing is a subclass of translocation
s__instance(s__LandingWaterLand,s__SetOrClass) s__subclass(s__LandingWaterLand,s__Translocation) s__instance(s__Translocation,s__SetOrClass)	MilitaryProcesses.kif 808-808	Landing water land is a subclass of translocation
s__instance(s__Leaving,s__SetOrClass) s__subclass(s__Leaving,s__Translocation) s__instance(s__Translocation,s__SetOrClass)	Mid-level-ontology.kif 14859-14859	Leaving is a subclass of translocation
s__instance(s__Translocation,s__SetOrClass) s__subclass(s__MilitaryInfiltration,s__Translocation) s__instance(s__MilitaryInfiltration,s__SetOrClass)	Mid-level-ontology.kif 11562-11562	Military infiltration is a subclass of translocation
s__subclass(s__MovingCursor,s__Translocation) s__instance(s__Translocation,s__SetOrClass) s__instance(s__MovingCursor,s__SetOrClass)	ComputerInput.kif 1739-1739	MovingCursor is a subclass of translocation
s__instance(s__MovingTowardsPeople,s__SetOrClass) s__instance(s__Translocation,s__SetOrClass) s__subclass(s__MovingTowardsPeople,s__Translocation)	emotion.kif 1396-1396	Moving towards people is a subclass of translocation
s__instance(s__Returning,s__SetOrClass) s__subclass(s__Returning,s__Translocation) s__instance(s__Translocation,s__SetOrClass)	Mid-level-ontology.kif 14826-14826	Returning is a subclass of translocation
s__subclass(s__ShipBerthing,s__Translocation) s__instance(s__Translocation,s__SetOrClass) s__instance(s__ShipBerthing,s__SetOrClass)	Transportation.kif 2995-2995	Ship berthing is a subclass of translocation
s__instance(s__TakingOff,s__SetOrClass) s__subclass(s__TakingOff,s__Translocation) s__instance(s__Translocation,s__SetOrClass)	Mid-level-ontology.kif 14800-14800	Taking off is a subclass of translocation
s__instance(s__Transfer,s__SetOrClass) s__subclass(s__Transfer,s__Translocation) s__instance(s__Translocation,s__SetOrClass)	Merge.kif 10515-10515	Transfer is a subclass of translocation
s__subclass(s__Transportation,s__Translocation) s__instance(s__Transportation,s__SetOrClass) s__instance(s__Translocation,s__SetOrClass)	Merge.kif 10784-10784	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

s__domain(s__changesLocation__m,n__1,s__Translocation)

Merge.kif 10229-10229

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

antecedent

( ! [V__PLACE1,V__MOVEMENT] : (s__instance(V__PLACE1,s__Object) => (s__instance(V__MOVEMENT,s__Translocation) & s__origin(V__MOVEMENT,V__PLACE1)) => ( ? [V__PLACE2, V__STAGE] : ((s__instance(V__STAGE,s__Process) & (s__instance(V__PLACE2,s__Region) & ~((V__PLACE1 = V__PLACE2)) & s__subProcess(V__STAGE,V__MOVEMENT) & s__located(V__STAGE,V__PLACE2))))) ) )	Merge.kif 10748-10757	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
( ! [V__O1,V__P,V__D1,V__T1,V__T2,V__D2] : ((s__instance(V__O1,s__Object) & s__instance(V__P,s__Agent) & s__instance(V__D1,s__Object)) => (s__instance(V__T1,s__Translocation) & s__instance(V__T2,s__Translocation) & s__origin(V__T1,V__O1) & s__origin(V__T2,V__D1) & s__destination(V__T1,V__D1) & s__destination(V__T2,V__D2) & s__experiencer(V__T1,V__P) & s__experiencer(V__T2,V__P)) => ( ? [V__T] : ((s__instance(V__T,s__Translocation) & s__origin(V__T,V__O1) & s__destination(V__T,V__D2) & s__subProcess(V__T1,V__T) & s__subProcess(V__T2,V__T) & s__experiencer(V__T,V__P) & s__starts(s__WhenFn(V__T1) ,s__WhenFn(V__T)) & s__finishes(s__WhenFn(V__T2) ,s__WhenFn(V__T))))) ) )	Merge.kif 10531-10554	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 14800-14806	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 14792-14798	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
( ! [V__T] : (s__instance(V__T,s__Translocation) => ( ? [V__O, V__D, V__P] : ((s__instance(V__O,s__Object) & s__instance(V__D,s__Object) & s__instance(V__P,s__Object) & s__path(V__T,V__P) & s__origin(V__T,V__O) & s__destination(V__T,V__D)))) ) )	Merge.kif 10759-10768	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 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 19574-19593	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
( ! [V__DUSTSTORM] : ((s__instance(V__DUSTSTORM,s__DustStorm) & s__instance(V__WIND,s__Wind) & s__subProcess(V__DUSTSTORM,V__WIND)) => ( ? [V__WIND, V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] : ((s__instance(V__WIND,s__Process) & s__instance(V__STRONG,s__RealNumber) & (s__instance(V__A1,s__LandArea) & s__eventLocated(V__WIND,V__A1) & s__surfaceWindSpeed(V__A1,s__MeasureFn(V__STRONG,s__KnotUnitOfSpeed)) & s__greaterThan(V__STRONG,n__30) & s__instance(V__TRANSLOCATE,s__Translocation) & s__subProcess(V__TRANSLOCATE,V__DUSTSTORM) & s__objectTransferred(V__TRANSLOCATE,V__PM) & s__objectTransferred(V__TRANSLOCATE,V__SAND) & s__instance(V__PM,s__ParticulateMatter) & s__instance(V__SAND,s__Sand) & s__instance(V__A2,s__LandArea) & s__destination(V__TRANSLOCATE,V__A2) & ~(s__overlapsSpatially(V__A1,V__A2)))))) ) )	Weather.kif 902-923	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 the other process, a transfer,, , an object,, , another object,, , a third object,, , an entity and a real number such that the third object is an instance of land area and the other process is located at 2 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 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 entity is an instance of land area and the transfer ends up at the entity and overlaps spatially the third object and the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2934-2948	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 function quantity, then the engineering component 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 and the other entity is greater than the function quantity holds during the time of existence of the entity
( ! [V__O,V__EV,V__A] : ((s__instance(V__O,s__Object) & s__instance(V__A,s__Organization)) => (s__instance(V__EV,s__Evacuation) & s__agent(V__EV,V__A) & s__origin(V__EV,V__O)) => ( ? [V__T, V__TA] : ((s__instance(V__TA,s__Organization) & (s__instance(V__T,s__Translocation) & s__subProcess(V__T,V__EV) & s__origin(V__T,V__O) & (s__experiencer(V__T,V__TA) \| s__agent(V__T,V__TA)) & (s__subOrganization(V__TA,V__A) \| s__member(V__TA,V__A) \| (V__TA = V__A)))))) ) )	MilitaryProcesses.kif 2607-2623	If a process is an instance of evacuation 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 は組織 the organization の一部では %n or the other processA is a member of the organization or the other processA is equal to the organization
( ! [V__EV,V__OR,V__D] : (s__instance(V__OR,s__Object) => (s__instance(V__EV,s__Evacuation) & s__origin(V__EV,V__OR) & s__destination(V__EV,V__D)) => ( ? [V__L] : ((s__instance(V__L,s__Translocation) & s__subProcess(V__L,V__EV) & s__destination(V__L,V__D) & s__origin(V__L,V__OR)))) ) )	MilitaryProcesses.kif 2481-2491	If a process is an instance of evacuation 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
( ! [V__AGENT,V__P,V__CUST,V__FOOD] : ((s__instance(V__AGENT,s__Agent) & s__instance(V__CUST,s__Agent)) => (s__instance(V__P,s__FoodPickup) & s__agent(V__P,V__AGENT) & s__destination(V__P,V__CUST) & s__patient(V__P,V__FOOD)) => (s__instance(V__FOOD,s__FoodForFn(s__Human)) & ( ? [V__LOC, V__T, V__G] : ((s__instance(V__LOC,s__Object) & (s__located(V__AGENT,V__LOC) & s__instance(V__T,s__Translocation) & s__agent(V__T,V__CUST) & s__destination(V__T,V__LOC) & s__instance(V__G,s__Getting) & s__origin(V__G,V__AGENT) & s__destination(V__G,V__CUST) & s__patient(V__G,V__FOOD)))))) ) )	Dining.kif 564-581	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 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 14162-14176	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
( ! [V__A,V__SS] : (s__instance(V__A,s__Agent) => (s__instance(V__SS,s__StayingStill) & s__experiencer(V__SS,V__A)) => ~(( ? [V__B, V__T] : ((s__instance(V__B,s__BodyMotion) & s__instance(V__T,s__Translocation) & s__causes(V__B,V__T) & s__agent(V__B,V__A))))) ) )	emotion.kif 1498-1508	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
( ! [V__O1,V__P,V__D1,V__T1,V__T2,V__D2] : ((s__instance(V__O1,s__Object) & s__instance(V__P,s__Agent) & s__instance(V__D1,s__Object)) => (s__instance(V__T1,s__Translocation) & s__instance(V__T2,s__Translocation) & s__origin(V__T1,V__O1) & s__origin(V__T2,V__D1) & s__destination(V__T1,V__D1) & s__destination(V__T2,V__D2) & s__experiencer(V__T1,V__P) & s__experiencer(V__T2,V__P)) => ( ? [V__T] : ((s__instance(V__T,s__Translocation) & s__origin(V__T,V__O1) & s__destination(V__T,V__D2) & s__subProcess(V__T1,V__T) & s__subProcess(V__T2,V__T) & s__experiencer(V__T,V__P) & s__starts(s__WhenFn(V__T1) ,s__WhenFn(V__T)) & s__finishes(s__WhenFn(V__T2) ,s__WhenFn(V__T))))) ) )	Merge.kif 10531-10554	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
( ! [V__place,V__type,V__mover] : ((s__instance(V__place,s__Region) & s__subclass(V__type,s__SelfConnectedObject) & s__instance(V__type,s__SetOrClass) & s__instance(V__mover,s__Object)) => (s__trafficableForTrafficType(V__place,V__type) & s__subclass(V__type,s__Agent) & s__instance(V__mover,V__type)) => s__capableAtLocation(s__Translocation,s__agent__m,V__mover,V__place) ) )	Transportation.kif 2595-2600	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
( ! [V__OBJ,V__EVENT] : ((s__instance(V__OBJ,s__Agent) & s__instance(V__EVENT,s__Translocation)) => s__changesLocation(V__EVENT,V__OBJ) => (s__instance(V__EVENT,s__Translocation) & s__instance(V__OBJ,s__Object) & (s__patient(V__EVENT,V__OBJ) \| s__agent(V__EVENT,V__OBJ) \| s__experiencer(V__EVENT,V__OBJ))) ) )	Merge.kif 10240-10248	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
( ! [V__ARRIVE] : (s__instance(V__ARRIVE,s__Arriving) => ( ? [V__GO] : ((s__instance(V__GO,s__Translocation) & s__subProcess(V__ARRIVE,V__GO) & s__finishes(s__WhenFn(V__ARRIVE) ,s__WhenFn(V__GO))))) ) )	Mid-level-ontology.kif 14873-14879	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
( ! [V__B] : (s__instance(V__B,s__Bowling) => ( ? [V__BALL, V__TRANS, V__LANE] : ((s__instance(V__TRANS,s__Translocation) & s__instance(V__BALL,s__BowlingBall) & s__patient(V__TRANS,V__BALL) & s__instance(V__LANE,s__BowlingLane) & s__path(V__TRANS,V__LANE) & s__subProcess(V__TRANS,V__B)))) ) )	Sports.kif 959-968	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 998-1006	If a physical is an instance of bowling lane, then the physical 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
( ! [V__F] : (s__instance(V__F,s__Furniture) => s__capability(s__Translocation,s__moves__m,V__F) ) )	Mid-level-ontology.kif 4237-4239	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 2828-2857	If a physical is an instance of gasket, then the physical 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 doesn't exist a third 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 a fourth entity is an instance of translocation and the third entity is path along which the fourth entity occurs and the fourth entity originates at a fifth entity and the fourth entity ends up at a sixth entity and the entity は the fifth entity を contains %n{ない} and the entity は the sixth entity を contain ない and the entity meets the sixth entity and there doesn't exist the fifth entity3 such that the third entity は the fifth entity3 を contains %n{ない} and the entity は the fifth entity3 を contain ない and the other entity は the fifth entity3 を contain ない
( ! [V__LEAVE] : (s__instance(V__LEAVE,s__Leaving) => ( ? [V__GO] : ((s__instance(V__GO,s__Translocation) & s__subProcess(V__LEAVE,V__GO) & s__starts(s__WhenFn(V__LEAVE) ,s__WhenFn(V__GO))))) ) )	Mid-level-ontology.kif 14862-14868	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
( ! [V__TOUR] : (s__instance(V__TOUR,s__TourService) => ( ? [V__SITE, V__SUBTOUR] : ((s__instance(V__SITE,s__TouristSite) & s__instance(V__SUBTOUR,s__Translocation) & s__destination(V__SUBTOUR,V__SITE) & s__subProcess(V__SUBTOUR,V__TOUR)))) ) )	Hotel.kif 2035-2042	If a process is an instance of tour service, then there exist an entity and another process such that the entity is an instance of tourist site and the other process is an instance of translocation and the other process ends up at the entity and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3649-3678	If a physical is an instance of seat belt, then the physical purpose there exist an entity, another entity and a third entity such that the third entity is an instance of vehicle and the physical is a part of the third entity and the entity is an instance of human and the third entity は the entity を contains %n{ない} and the other entity is an instance of process and the other entity prevents the occurrence of the class described by a fourth entity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: