Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Translocation
Translocation(translocation)advance, aerosolise, aerosolize, airborne_transmission, airing, back, billow, bring_forward, buck, burrow, burst, butterfly, by, campaign, career, carry, cast, catch, catch_up_with, charge, circuit, come, commute, dart, diffuse, digression, direct_transmission, dislodge, disperse, displacement, dissipate, distance, draw, drift, ease_up, edge, emerge, excursion, expedition, extend, fall_back, fan_out, fare-stage, festinate, field_trip, fleet, flit, flow, flutter, flux...

VerbNet: put_direction-9.4|back, appear-48.1.1|surge, run-51.3.2|tear, rummage-35.5|tunnel, exist-47.1|extend, run-51.3.2|wander, run-51.3.2|tear, run-51.3.2|dart, other_cos-45.4|dissipate, other_cos-45.4|dissipate, exceed-90|outstrip, run-51.3.2|wander, run-51.3.2|inch, appear-48.1.1|emerge, exist-47.1|extend, rush-53.2|rush, run-51.3.2|dart, run-51.3.2|dart, entity_specific_modes_being-47.2|flux, run-51.3.2|dart, entity_specific_modes_being-47.2|flux, begin-55.1|go_on, rush-53.2|rush, appear-48.1.1|surge, rush-53.2|rush, run-51.3.2|hurtle, run-51.3.2|inch, fill-9.8|infest, fill-9.8|infest, future_having-13.3|leave, rush-53.2|rush, begin-55.1|go_on, begin-55.1|go_on, exceed-90|outstrip, exceed-90|outstrip, fill-9.8|infest, separate-23.1|separate, begin-55.1|go_on, begin-55.1|go_on, appear-48.1.1|spread, run-51.3.2|wander, run-51.3.2|wander, run-51.3.2|wander, run-51.3.2|wander, run-51.3.2|wander, rush-53.2|rush, run-51.3.2|sweep, other_cos-45.4|dissipate, see-30.1|see, separate-23.1|separate, ...


appearance as argument number 1
-------------------------


s__documentation(s__Translocation,s__ChineseLanguage,'"Translocation 属于 Motion 的类别,这是物体 从一处移动到另一处。在往返的情况下,origindestination 相同,但是中间会经过其他地点。 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
( ! [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
No TPTP formula. May not be expressible in strict first order. Merge.kif 14800-14806
No TPTP formula. May not be expressible in strict first order. Merge.kif 14792-14798
( ! [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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2003-2012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19574-19593
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 2934-2948
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 567-580
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14162-14176
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Sports.kif 998-1006
( ! [V__F] :
   (s__instance(V__F,s__Furniture) =>
     s__capability(s__Translocation,s__moves__m,V__F)
   )
)

Mid-level-ontology.kif 4237-4239
No TPTP formula. May not be expressible in strict first order. Cars.kif 2828-2857
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 3649-3678


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