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...

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 11024-11029
s__subclass(s__Translocation,s__Motion)

s__instance(s__Motion,s__SetOrClass)

s__instance(s__Translocation,s__SetOrClass)

Merge.kif 11022-11022 Translocation is a subclass of motion

appearance as argument number 2
-------------------------


s__rangeSubclass(s__TransitFn__m,s__Translocation)

Transportation.kif 1604-1604 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 15621-15621 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 10664-10664 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 15789-15789 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 15857-15857 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 4252-4252 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 15898-15898 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 15649-15649 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 15800-15800 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 15759-15759 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 11053-11053 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 15708-15708 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 15828-15828 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 15732-15732 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 15778-15778 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 12534-12534 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 1399-1399 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 15745-15745 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 3024-3024 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 15719-15719 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 10801-10801 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 11067-11067 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 10515-10515 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 11031-11040
( ! [V__A,V__R,V__T,V__TRAN] :
   (((s__instance(V__T,s__Tornado) &
         s__instance(V__R,s__Rotating) &
         s__instance(V__A,s__Air) &
         s__instance(V__TRAN,s__Translocation) &
         s__subProcess(V__R,V__T)
       &
       s__subProcess(V__TRAN,V__R)
     &
     s__patient(V__TRAN,V__A)
   &
   s__direction(V__TRAN,s__Horizontal))
=>
(( ? [V__G, V__FUNNEL, V__TOP, V__BOTTOM, V__C, V__BASE] :
     ((s__instance(V__FUNNEL,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__BASE,s__SelfConnectedObject) &
         (s__instance(V__G,s__GeographicArea) &
           s__eventLocated(V__T,V__G)
         &
         s__part(V__FUNNEL,V__A)
       &
       s__attribute(V__FUNNEL,s__ConeSegment) &
       s__top(V__TOP,V__FUNNEL)
     &
     s__bottom(V__BOTTOM,V__FUNNEL)
   &
   s__instance(V__C,s__Cloud) &
   s__bottom(V__BASE,V__C)
&
s__meetsSpatially(V__TOP,V__BASE)
&
s__meetsSpatially(V__BOTTOM,V__G)))))))
)
)

Weather.kif 1650-1671
( ! [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 10814-10837
No TPTP formula. May not be expressible in strict first order. Merge.kif 15221-15227
No TPTP formula. May not be expressible in strict first order. Merge.kif 15213-15219
( ! [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 11042-11051

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 20284-20303
( ! [V__DUSTSTORM,V__WIND] :
   (((s__instance(V__DUSTSTORM,s__DustStorm) &
         s__instance(V__WIND,s__Wind) &
         s__subProcess(V__DUSTSTORM,V__WIND))
     =>
     (( ? [V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] :
         ((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 1273-1294
No TPTP formula. May not be expressible in strict first order. Cars.kif 2971-2987
( ! [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__H,V__I] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__I,s__Infecting) &
             s__experiencer(V__I,V__H))
         =>
         (( ? [V__T, V__R, V__O] :
             ((s__instance(V__T,s__Translocation) &
                 s__moves(V__T,V__O)
               &
               s__instance(V__O,s__Organism) &
               s__instance(V__R,s__Replication) &
               s__experiencer(V__R,V__O)
             &
             s__subProcess(V__T,V__I)
           &
           s__subProcess(V__R,V__I))))))))
)
)

Mid-level-ontology.kif 5489-5501
( ! [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 15084-15098
( ! [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 1505-1515
( ! [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 10814-10837
( ! [V__place,V__type,V__mover] :
   (((s__instance(V__place,s__Region) &
         s__instance(V__type,s__Class) &
         s__subclass(V__type,s__SelfConnectedObject) &
         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 2624-2629
( ! [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 10526-10534
( ! [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 15792-15798
( ! [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 961-970
No TPTP formula. May not be expressible in strict first order. Sports.kif 1000-1008
( ! [V__TRAN,V__T,V__CS] :
   (((s__instance(V__TRAN,s__Process) &
         s__instance(V__T,s__Process))
       =>
       ((s__instance(V__CS,s__CyclonicStorm) =>
           (( ? [V__R, V__A] :
               ((s__instance(V__R,s__Rotating) &
                   s__instance(V__A,s__Air) &
                   s__instance(V__TRAN,s__Translocation) &
                   s__subProcess(V__R,V__T)
                 &
                 s__subProcess(V__TRAN,V__R)
               &
               s__patient(V__TRAN,V__A)
             &
             s__direction(V__TRAN,s__Horizontal))))))))
)
)

Weather.kif 560-570
( ! [V__F] :
   ((s__instance(V__F,s__Furniture) =>
       (s__capability(s__Translocation,s__moves__m,V__F)))
   )
)

Mid-level-ontology.kif 3639-3641
No TPTP formula. May not be expressible in strict first order. Cars.kif 2857-2886
( ! [V__I] :
   ((s__instance(V__I,s__Inflammation) =>
       (( ? [V__T, V__W] :
           ((s__instance(V__T,s__Translocation) &
               s__instance(V__W,s__WhiteBloodCell) &
               s__objectTransferred(V__T,V__W)
             &
             s__destination(V__T,s__WhereFn(V__I)))))))
)
)

Mid-level-ontology.kif 11023-11031
( ! [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 15781-15787
( ! [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 2049-2056
( ! [V__WS] :
   ((s__instance(V__WS,s__WeatherSystem) =>
       (( ? [V__MOVE, V__WF] :
           ((s__instance(V__MOVE,s__Translocation) &
               s__instance(V__WF,s__WindFlow) &
               s__patient(V__MOVE,V__WF)
             &
             s__subProcess(V__MOVE,V__WS))))))
)
)

Weather.kif 523-530

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