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


(documentation Translocation ChineseLanguage "Translocation 属于 Motion 的类别,这是物体 从一处移动到另一处。在往返的情况下,origindestination 相同,但是中间会经过其他地点。 Translocation 表示线性移动,这和旋转或其他在原地运动不同。它并不需有交通工具,Ambulating 算是 Translocation 的一种。") Merge.kif 11500-11503
(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 11494-11499
(subclass Translocation Motion) Merge.kif 11493-11493 Translocation is a subclass of motion

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


(rangeSubclass TransitFn Translocation) Transportation.kif 1574-1574 The values returned by transit are subclasses of translocation
(subclass Accelerating Translocation) Mid-level-ontology.kif 14722-14722 Accelerating is a subclass of translocation
(subclass Ambulating Translocation) Merge.kif 11110-11110 Ambulating is a subclass of translocation
(subclass Arriving Translocation) Mid-level-ontology.kif 14869-14869 Arriving is a subclass of translocation
(subclass Boarding Translocation) Mid-level-ontology.kif 14936-14936 Boarding is a subclass of translocation
(subclass Crawling Translocation) Mid-level-ontology.kif 4855-4855 Crawling is a subclass of translocation
(subclass Deboarding Translocation) Mid-level-ontology.kif 14976-14976 Deboarding is a subclass of translocation
(subclass Decelerating Translocation) Mid-level-ontology.kif 14739-14739 Decelerating is a subclass of translocation
(subclass Disappearing Translocation) Mid-level-ontology.kif 14880-14880 Disappearing is a subclass of translocation
(subclass Escaping Translocation) Mid-level-ontology.kif 14839-14839 Escaping is a subclass of translocation
(subclass Falling Translocation) Merge.kif 11527-11527 Falling is a subclass of translocation
(subclass Flying Translocation) Mid-level-ontology.kif 14788-14788 Flying is a subclass of translocation
(subclass Hajj Translocation) ArabicCulture.kif 112-112 Hajj is a subclass of translocation
(subclass Immigrating Translocation) Mid-level-ontology.kif 14907-14907 Immigrating is a subclass of translocation
(subclass Landing Translocation) Mid-level-ontology.kif 14812-14812 Landing is a subclass of translocation
(subclass LandingWaterLand Translocation) MilitaryProcesses.kif 797-797 Landing water land is a subclass of translocation
(subclass Leaving Translocation) Mid-level-ontology.kif 14858-14858 Leaving is a subclass of translocation
(subclass MilitaryInfiltration Translocation) Mid-level-ontology.kif 11556-11556 Military infiltration is a subclass of translocation
(subclass MovingCursor Translocation) ComputerInput.kif 1342-1342 MovingCursor is a subclass of translocation
(subclass Returning Translocation) Mid-level-ontology.kif 14825-14825 Returning is a subclass of translocation
(subclass ShipBerthing Translocation) Transportation.kif 2961-2961 Ship berthing is a subclass of translocation
(subclass TakingOff Translocation) Mid-level-ontology.kif 14799-14799 Taking off is a subclass of translocation
(subclass Transfer Translocation) Merge.kif 11257-11257 Transfer is a subclass of translocation
(subclass Transportation Translocation) Merge.kif 11542-11542 Transportation is a subclass of translocation
(subclass Trespassing Translocation) Mid-level-ontology.kif 15979-15979 Trespassing 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
-------------------------


(domain changesLocation 1 Translocation) Merge.kif 10952-10952 The number 1 argument of changes location is an instance of 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 11505-11514
(=>
    (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 11271-11294
(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (destination ?MOVE ?TO))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?TO)))
Merge.kif 16157-16163
(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (origin ?MOVE ?FROM))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?FROM)))
Merge.kif 16149-16155
(=>
    (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 11516-11525

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 2002-2011
(=>
    (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 19561-19580
(=>
    (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 2930-2944
(=>
    (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 2594-2610
(=>
    (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 2468-2478
(=>
    (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 568-585
(=>
    (and
        (instance ?P ParkingBrake)
        (instance ?V Vehicle)
        (part ?P ?V))
    (hasPurpose ?P
        (holdsDuring ?E
            (and
                (attribute ?P DeviceOn)
                (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 14161-14175
(=>
    (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 11271-11294
(=>
    (and
        (trafficableForTrafficType ?place ?type)
        (subclass ?type Agent)
        (instance ?mover ?type))
    (capableAtLocation Translocation agent ?mover ?place))
Transportation.kif 2558-2563
(=>
    (changesLocation ?EVENT ?OBJ)
    (and
        (instance ?EVENT Translocation)
        (instance ?OBJ Object)
        (or
            (patient ?EVENT ?OBJ)
            (agent ?EVENT ?OBJ)
            (experiencer ?EVENT ?OBJ))))
Merge.kif 10963-10971
(=>
    (instance ?ARRIVE Arriving)
    (exists (?GO)
        (and
            (instance ?GO Translocation)
            (subProcess ?ARRIVE ?GO)
            (finishes
                (WhenFn ?ARRIVE)
                (WhenFn ?GO)))))
Mid-level-ontology.kif 14872-14878
(=>
    (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 957-966
(=>
    (instance ?BL BowlingLane)
    (hasPurpose ?BL
        (exists (?TR ?BALL)
            (and
                (instance ?TR Translocation)
                (instance ?BALL BowlingBall)
                (patient ?TR ?BALL)
                (path ?TR ?BL)))))
Sports.kif 996-1004
(=>
    (instance ?F Furniture)
    (capability Translocation moves ?F))
Mid-level-ontology.kif 4241-4243
(=>
    (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 2824-2853
(=>
    (instance ?LEAVE Leaving)
    (exists (?GO)
        (and
            (instance ?GO Translocation)
            (subProcess ?LEAVE ?GO)
            (starts
                (WhenFn ?LEAVE)
                (WhenFn ?GO)))))
Mid-level-ontology.kif 14861-14867
(=>
    (instance ?TOUR TourService)
    (exists (?SITE ?SUBTOUR)
        (and
            (instance ?SITE TouristSite)
            (instance ?SUBTOUR Translocation)
            (destination ?SUBTOUR ?SITE)
            (subProcess ?SUBTOUR ?TOUR))))
Hotel.kif 2030-2037
(=>
    (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 3642-3671


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