Arriving - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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

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

appearance as argument number 2

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

antecedent

(=> (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 an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then there exists a human such that the human holds the position of valet in the organization and the statement there exist another entity and a third entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at the third entity and the third entity 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 a process is an instance of valet parking and an entity is a patient of the process and another process is an instance of arriving and the entity is a patient of the other process, then the end of the time of existence of the other process meets the beginning of the time of existence of the process
(=> (instance ?ARRIVE Arriving) (exists (?GO) (and (instance ?GO Translocation) (subProcess ?ARRIVE ?GO) (finishes (WhenFn ?ARRIVE) (WhenFn ?GO)))))	Mid-level-ontology.kif 18862-18868	If a process is an instance of arriving, then there exists another process such that the other process is an instance of translocation and the process is a subprocess of the other process and the time of existence of the process finishes the time of existence of the other process

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 2241-2258	If an object is an instance of railhead and an entity is an instance of rail vehicle and the entity is located at the object holds during a time interval, then there exists a process such that the entity is a patient of the process and the process is an instance of leaving and the process originates at the object and the time of existence of the process takes place during the time interval or the process is an instance of arriving and the process ends up at the object and the time of existence of the process takes place during the time interval
(=> (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 3670-3680	If a physical is an instance of transit terminal, then the physical has the purpose there exist an entity and another entity such that the other entity is a patient of the entity and the other entity is an instance of transportation device and the entity is an instance of arriving or the entity is an instance of leaving and the entity is located at the physical

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