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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Translocation
Translocation

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


(documentation Translocation ChineseLanguage "Translocation 属于 Motion 的类别，这是物体 从一处移动到另一处。在往返的情况下，origin 和 destination 相同，但是中间会经过其他地点。 Translocation 表示线性移动，这和旋转或其他在原地运动不同。它并不需有交通工具，Ambulating 算是 Translocation 的一种。") chinese_format.kif 3058-3061
(documentation Translocation 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 10771-10776
(subclass Translocation Motion) Merge.kif 10769-10769 subclass Translocation and Motion

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


(rangeSubclass TransitFn Translocation) Transportation.kif 1589-1589 rangeSubclass TransitFn and Translocation
(subclass Accelerating Translocation) Mid-level-ontology.kif 14748-14748 subclass Accelerating and Translocation
(subclass Ambulating Translocation) Merge.kif 10411-10411 subclass Ambulating and Translocation
(subclass Arriving Translocation) Mid-level-ontology.kif 14895-14895 subclass Arriving and Translocation
(subclass Boarding Translocation) Mid-level-ontology.kif 14962-14962 subclass Boarding and Translocation
(subclass Crawling Translocation) Mid-level-ontology.kif 4856-4856 subclass Crawling and Translocation
(subclass Deboarding Translocation) Mid-level-ontology.kif 15002-15002 subclass Deboarding and Translocation
(subclass Decelerating Translocation) Mid-level-ontology.kif 14765-14765 subclass Decelerating and Translocation
(subclass Disappearing Translocation) Mid-level-ontology.kif 14906-14906 subclass Disappearing and Translocation
(subclass Escaping Translocation) Mid-level-ontology.kif 14865-14865 subclass Escaping and Translocation
(subclass Falling Translocation) Merge.kif 10800-10800 subclass Falling and Translocation
(subclass Flying Translocation) Mid-level-ontology.kif 14814-14814 subclass Flying and Translocation
(subclass Hajj Translocation) ArabicCulture.kif 112-112 subclass Hajj and Translocation
(subclass Immigrating Translocation) Mid-level-ontology.kif 14933-14933 subclass Immigrating and Translocation
(subclass Landing Translocation) Mid-level-ontology.kif 14838-14838 subclass Landing and Translocation
(subclass LandingWaterLand Translocation) MilitaryProcesses.kif 808-808 subclass LandingWaterLand and Translocation
(subclass Leaving Translocation) Mid-level-ontology.kif 14884-14884 subclass Leaving and Translocation
(subclass MilitaryInfiltration Translocation) Mid-level-ontology.kif 11587-11587 subclass MilitaryInfiltration and Translocation
(subclass MovingCursor Translocation) ComputerInput.kif 1739-1739 subclass MovingCursor and Translocation
(subclass MovingTowardsPeople Translocation) emotion.kif 1396-1396 subclass MovingTowardsPeople and Translocation
(subclass Returning Translocation) Mid-level-ontology.kif 14851-14851 subclass Returning and Translocation
(subclass ShipBerthing Translocation) Transportation.kif 2995-2995 subclass ShipBerthing and Translocation
(subclass TakingOff Translocation) Mid-level-ontology.kif 14825-14825 subclass TakingOff and Translocation
(subclass Transfer Translocation) Merge.kif 10548-10548 subclass Transfer and Translocation
(subclass Transportation Translocation) Merge.kif 10814-10814 subclass Transportation and Translocation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain changesLocation 1 Translocation) Merge.kif 10262-10262 domain changesLocation, 1 and Translocation

antecedent
-------------------------


(=>
    (and
        (instance ?MOVEMENT Translocation)
        (origin ?MOVEMENT ?PLACE1))
    (exists (?PLACE2 ?STAGE)
        (and
            (instance ?PLACE2 Region)
            (not
                (equal ?PLACE1 ?PLACE2))
            (subProcess ?STAGE ?MOVEMENT)
            (located ?STAGE ?PLACE2))))		 Merge.kif 10778-10787
(=>
    (and
        (instance ?T1 Translocation)
        (instance ?T2 Translocation)
        (origin ?T1 ?O1)
        (origin ?T2 ?D1)
        (destination ?T1 ?D1)
        (destination ?T2 ?D2)
        (experiencer ?T1 ?P)
        (experiencer ?T2 ?P))
    (exists (?T)
        (and
            (instance ?T Translocation)
            (origin ?T ?O1)
            (destination ?T ?D2)
            (subProcess ?T1 ?T)
            (subProcess ?T2 ?T)
            (experiencer ?T ?P)
            (starts
                (WhenFn ?T1)
                (WhenFn ?T))
            (finishes
                (WhenFn ?T2)
                (WhenFn ?T)))))		 Merge.kif 10561-10584
(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (destination ?MOVE ?TO))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?TO)))		 Merge.kif 14827-14833
(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (origin ?MOVE ?FROM))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?FROM)))		 Merge.kif 14819-14825
(=>
    (instance ?T Translocation)
    (exists (?O ?D ?P)
        (and
            (instance ?O Object)
            (instance ?D Object)
            (instance ?P Object)
            (path ?T ?P)
            (origin ?T ?O)
            (destination ?T ?D))))		 Merge.kif 10789-10798

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


(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?P Expellee)
                (citizen ?P ?HOME-NATION)))
        (instance ?T1 TimeInterval))
    (exists (?TRANS ?NATION)
        (and
            (instance ?NATION Nation)
            (not
                (equal ?NATION ?HOME-NATION))
            (instance ?TRANS Translocation)
            (origin ?TRANS ?NATION)
            (patient ?TRANS ?P)
            (destination ?TRANS ?HOME-NATION)
            (temporalPart ?T1
                (WhenFn ?TRANS)))))		 MilitaryPersons.kif 151-167
(=>
    (and
        (instance ?B Barricade)
        (partlyLocated ?B ?P))
    (hasPurpose ?B
        (not
            (exists (?T)
                (and
                    (instance ?T Translocation)
                    (path ?T ?P))))))		 MilitaryDevices.kif 2003-2012
(=>
    (and
        (instance ?B Blockade)
        (instance ?C Contest)
        (subProcess ?B ?C)
        (contestParticipant ?C ?A1)
        (agent ?B ?A1))
    (exists (?C1 ?A2)
        (and
            (prevents ?C1 Translocation)
            (instance ?B ?C1)
            (contestParticipant ?C ?A2)
            (not
                (equal ?A1 ?A2))
            (desires ?A2
                (exists (?I)
                    (and
                        (instance ?I ?C1)
                        (agent ?I ?A1)
                        (subProcess ?I ?C)))))))		 Mid-level-ontology.kif 19599-19618
(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?WIND ?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30)
            (instance ?TRANSLOCATE Translocation)
            (subProcess ?TRANSLOCATE ?DUSTSTORM)
            (objectTransferred ?TRANSLOCATE ?PM)
            (objectTransferred ?TRANSLOCATE ?SAND)
            (instance ?PM ParticulateMatter)
            (instance ?SAND Sand)
            (instance ?A2 LandArea)
            (destination ?TRANSLOCATE ?A2)
            (not
                (overlapsSpatially ?A1 ?A2)))))		 Weather.kif 897-918
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?V Vehicle)
        (connectedEngineeringComponents ?EG ?V)
        (governorSpeed ?E ?S))
    (hasPurpose ?EG
        (not
            (exists (?T ?M)
                (and
                    (instance ?T Translocation)
                    (holdsDuring
                        (WhenFn ?T)
                        (and
                            (measure ?V ?M)
                            (greaterThan ?M ?S))))))))		 Cars.kif 2934-2948
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?A)
        (origin ?EV ?O))
    (exists (?T ?TA)
        (and
            (instance ?T Translocation)
            (subProcess ?T ?EV)
            (origin ?T ?O)
            (or
                (experiencer ?T ?TA)
                (agent ?T ?TA))
            (or
                (subOrganization ?TA ?A)
                (member ?TA ?A)
                (equal ?TA ?A)))))		 MilitaryProcesses.kif 2607-2623
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?OR)
        (destination ?EV ?D))
    (exists (?L)
        (and
            (instance ?L Translocation)
            (subProcess ?L ?EV)
            (destination ?L ?D)
            (origin ?L ?OR))))		 MilitaryProcesses.kif 2481-2491
(=>
    (and
        (instance ?P FoodPickup)
        (agent ?P ?AGENT)
        (destination ?P ?CUST)
        (patient ?P ?FOOD))
    (and
        (instance ?FOOD
            (FoodForFn Human))
        (exists (?LOC ?T ?G)
            (and
                (located ?AGENT ?LOC)
                (instance ?T Translocation)
                (agent ?T ?CUST)
                (destination ?T ?LOC)
                (instance ?G Getting)
                (origin ?G ?AGENT)
                (destination ?G ?CUST)
                (patient ?G ?FOOD)))))		 Dining.kif 564-581
(=>
    (and
        (instance ?P ParkingBrake)
        (instance ?V Vehicle)
        (holdsDuring ?T1
            (attribute ?P DeviceOn))
        (part ?P ?V))
    (hasPurpose ?P
        (holdsDuring ?T1
            (not
                (exists (?T)
                    (and
                        (instance ?T Translocation)
                        (patient ?T ?V)))))))		 Cars.kif 567-580
(=>
    (and
        (instance ?P Passport)
        (possesses ?A ?P))
    (confersNorm ?P
        (exists (?T ?N1 ?N2)
            (and
                (instance ?T Translocation)
                (agent ?T ?A)
                (origin ?T ?N1)
                (destination ?T ?N2)
                (instance ?N1 Nation)
                (instance ?N2 Nation)
                (not
                    (equal ?N1 ?N2)))) Permission))		 Mid-level-ontology.kif 14187-14201
(=>
    (and
        (instance ?SS StayingStill)
        (experiencer ?SS ?A))
    (not
        (exists (?B ?T)
            (and
                (instance ?B BodyMotion)
                (instance ?T Translocation)
                (causes ?B ?T)
                (agent ?B ?A)))))		 emotion.kif 1498-1508
(=>
    (and
        (instance ?T1 Translocation)
        (instance ?T2 Translocation)
        (origin ?T1 ?O1)
        (origin ?T2 ?D1)
        (destination ?T1 ?D1)
        (destination ?T2 ?D2)
        (experiencer ?T1 ?P)
        (experiencer ?T2 ?P))
    (exists (?T)
        (and
            (instance ?T Translocation)
            (origin ?T ?O1)
            (destination ?T ?D2)
            (subProcess ?T1 ?T)
            (subProcess ?T2 ?T)
            (experiencer ?T ?P)
            (starts
                (WhenFn ?T1)
                (WhenFn ?T))
            (finishes
                (WhenFn ?T2)
                (WhenFn ?T)))))		 Merge.kif 10561-10584
(=>
    (and
        (trafficableForTrafficType ?place ?type)
        (subclass ?type Agent)
        (instance ?mover ?type))
    (capableAtLocation Translocation agent ?mover ?place))		 Transportation.kif 2595-2600
(=>
    (changesLocation ?EVENT ?OBJ)
    (and
        (instance ?EVENT Translocation)
        (instance ?OBJ Object)
        (or
            (patient ?EVENT ?OBJ)
            (agent ?EVENT ?OBJ)
            (experiencer ?EVENT ?OBJ))))		 Merge.kif 10273-10281
(=>
    (instance ?ARRIVE Arriving)
    (exists (?GO)
        (and
            (instance ?GO Translocation)
            (subProcess ?ARRIVE ?GO)
            (finishes
                (WhenFn ?ARRIVE)
                (WhenFn ?GO)))))		 Mid-level-ontology.kif 14898-14904
(=>
    (instance ?B Bowling)
    (exists (?BALL ?TRANS ?LANE)
        (and
            (instance ?TRANS Translocation)
            (instance ?BALL BowlingBall)
            (patient ?TRANS ?BALL)
            (instance ?LANE BowlingLane)
            (path ?TRANS ?LANE)
            (subProcess ?TRANS ?B))))		 Sports.kif 959-968
(=>
    (instance ?BL BowlingLane)
    (hasPurpose ?BL
        (exists (?TR ?BALL)
            (and
                (instance ?TR Translocation)
                (instance ?BALL BowlingBall)
                (patient ?TR ?BALL)
                (path ?TR ?BL)))))		 Sports.kif 998-1006
(=>
    (instance ?F Furniture)
    (capability Translocation moves ?F))		 Mid-level-ontology.kif 4243-4245
(=>
    (instance ?G Gasket)
    (hasPurpose ?G
        (exists (?O1 ?O2)
            (and
                (instance ?O1 CorpuscularObject)
                (instance ?O2 CorpuscularObject)
                (meetsSpatially ?O1 ?G)
                (meetsSpatially ?O2 ?G)
                (not
                    (exists (?H)
                        (and
                            (instance ?H Hole)
                            (equal ?G
                                (HoleHostFn ?H))
                            (instance ?T Translocation)
                            (path ?T ?H)
                            (origin ?T ?O)
                            (destination ?T ?D)
                            (contains ?O1 ?O)
                            (not
                                (contains ?O1 ?D))
                            (meetsSpatially ?O1 ?D)
                            (not
                                (exists (?O3)
                                    (and
                                        (contains ?H ?O3)
                                        (not
                                            (contains ?O1 ?O3))
                                        (not
                                            (contains ?O2 ?O3))))))))))))		 Cars.kif 2828-2857
(=>
    (instance ?LEAVE Leaving)
    (exists (?GO)
        (and
            (instance ?GO Translocation)
            (subProcess ?LEAVE ?GO)
            (starts
                (WhenFn ?LEAVE)
                (WhenFn ?GO)))))		 Mid-level-ontology.kif 14887-14893
(=>
    (instance ?TOUR TourService)
    (exists (?SITE ?SUBTOUR)
        (and
            (instance ?SITE TouristSite)
            (instance ?SUBTOUR Translocation)
            (destination ?SUBTOUR ?SITE)
            (subProcess ?SUBTOUR ?TOUR))))		 Hotel.kif 2035-2042
(=>
    (instance ?X SeatBelt)
    (hasPurpose ?X
        (exists (?PERSON ?STOP ?VEHICLE)
            (and
                (instance ?VEHICLE Vehicle)
                (part ?X ?VEHICLE)
                (instance ?PERSON Human)
                (contains ?VEHICLE ?PERSON)
                (instance ?STOP Process)
                (prevents ?STOP
                    (KappaFn ?M
                        (and
                            (instance ?M Translocation)
                            (patient ?M ?PERSON)
                            (exists (?COLLISION)
                                (and
                                    (or
                                        (instance ?COLLISION Decelerating)
                                        (instance ?COLLISION Impacting))
                                    (experiencer ?COLLISION ?VEHICLE)
                                    (causes ?COLLISION ?M)))
                            (modalAttribute
                                (exists (?INJ ?IMP)
                                    (and
                                        (instance ?INJ Injuring)
                                        (instance ?IMP Impacting)
                                        (causes ?M ?INJ)
                                        (patient ?INJ ?PERSON)
                                        (subProcess ?IMP ?INJ))) Possibility))))))))		 Cars.kif 3650-3679


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