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


KB Term:  Term intersection
English Word: 

  Arriving

 Sigma KEE - Arriving
Arriving(arriving)anchorage, approach, approaching, arrival, arrive, arrive_at, attain, breast, close, close_in, come, come_near, come_on, coming, draw_close, draw_in, draw_near, encroachment, entering, entrance, entry, flood_in, gain, get, get_to, go_up, hit, incoming, ingress, intrusion, invasion, landing, make, max_out, near, plump_in, reach, report, roll_up, summit, top

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


(subclass Arriving Translocation) Mid-level-ontology.kif 19147-19147 Arriving is a subclass of translocation
(documentation Arriving EnglishLanguage "The final part of any instance of Translocation.") Mid-level-ontology.kif 19148-19148 Arriving is a subclass of translocation

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


(termFormat EnglishLanguage Arriving "arriving") domainEnglishFormat.kif 8458-8458
(termFormat ChineseTraditionalLanguage Arriving "到達") domainEnglishFormat.kif 8459-8459
(termFormat ChineseLanguage Arriving "到达") domainEnglishFormat.kif 8460-8460

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


(=>
    (instance ?ARRIVE Arriving)
    (exists (?GO)
        (and
            (instance ?GO Translocation)
            (subProcess ?ARRIVE ?GO)
            (finishes
                (WhenFn ?ARRIVE)
                (WhenFn ?GO)))))		 Mid-level-ontology.kif 19150-19156 If X is an instance of arriving, then there exists Y such that Y is an instance of translocation, X is a subprocess of Y, and the time of existence of X finishes the time of existence of Y
(=>
    (and
        (capability ValetParking agent ?AGENT)
        (customer ?CUST ?AGENT)
        (located ?AGENT ?LOC)
        (instance ?D Arriving)
        (agent ?D ?CUST)
        (patient ?D ?VEHICLE)
        (destination ?D ?LOC))
    (exists (?VALET)
        (and
            (occupiesPosition ?VALET Valet ?AGENT)
            (modalAttribute
                (exists (?VP ?PARK)
                    (and
                        (instance ?VP ValetParking)
                        (agent ?VP ?VALET)
                        (patient ?VP ?VEHICLE)
                        (destination ?VP ?PARK)
                        (instance ?PARK ParkingRegion))) Possibility))))		 TransportDetail.kif 157-176 If All of the following hold: (1) X is capable of doing valet parking as a agent (2) X is a customer of Y (3) X is located at Z (4) W is an instance of arriving (5) Y is an agent of W (6) V is a patient of W (7) W ends up at Z, then All of the following hold: (1) there exists U such that U holds the position of valet in X (2) the statement there exist T (3) S such that T is an instance of valet parking (4) U is an agent of T (5) V is a patient of T (6) T ends up at S (7) S is an instance of parking area has the modal force of possibility
(=>
    (and
        (instance ?VP ValetParking)
        (patient ?VP ?VEHICLE)
        (instance ?A Arriving)
        (patient ?A ?VEHICLE))
    (meetsTemporally
        (EndFn
            (WhenFn ?A))
        (BeginFn
            (WhenFn ?VP))))		 TransportDetail.kif 178-186 If X is an instance of valet parking, Y is a patient of X, Z is an instance of arriving, and Y is a patient of Z, then the end of the time of existence of Z meets the beginning of the time of existence of X

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


(=>
    (and
        (instance ?R Railhead)
        (instance ?V RailVehicle)
        (holdsDuring ?T
            (located ?V ?R)))
    (exists (?M)
        (and
            (patient ?M ?V)
            (or
                (and
                    (instance ?M Leaving)
                    (origin ?M ?R)
                    (during
                        (WhenFn ?M) ?T))
                (and
                    (instance ?M Arriving)
                    (destination ?M ?R)
                    (during
                        (WhenFn ?M) ?T))))))		 Transportation.kif 2261-2278 If X is an instance of railhead, Y is an instance of rail vehicle, and Y is located at X holds during Z, then there exists W such that Y is a patient of W, W is an instance of leaving, W originates at X, the time of existence of W takes place during Z or W is an instance of arriving, W ends up at X, and the time of existence of W takes place during Z
(=>
    (instance ?TERM TransitTerminal)
    (hasPurpose ?TERM
        (exists (?T ?D)
            (and
                (patient ?T ?D)
                (instance ?D TransportationDevice)
                (or
                    (instance ?T Arriving)
                    (instance ?T Leaving))
                (eventLocated ?T ?TERM)))))		 Transportation.kif 4210-4220 If X is an instance of transit terminal, then X has the purpose there exist Y, Z such that Z is a patient of Y, Z is an instance of transportation device, Y is an instance of arriving or Y is an instance of leaving, and Y is located at X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners