Boarding - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Boarding

Boarding(boarding)

board, change, get_on, transfer

appearance as argument number 1

(documentation Boarding EnglishLanguage "Getting on a Vehicle, e.g. getting into an Automobile, boarding an Aircraft, etc.")	Mid-level-ontology.kif 18466-18467
(externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Boarding.easyjet.a319.arp.jpg")	pictureList.kif 1667-1667
(externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg")	pictureList.kif 2117-2117
(relatedInternalConcept Boarding Deboarding)	Mid-level-ontology.kif 18507-18507	Boarding is internally related to deboarding
(subclass Boarding Translocation)	Mid-level-ontology.kif 18465-18465	Boarding is a subclass of translocation

appearance as argument number 2

(termFormat ChineseLanguage Boarding "登机")	domainEnglishFormat.kif 11444-11444
(termFormat ChineseTraditionalLanguage Boarding "登機")	domainEnglishFormat.kif 11443-11443
(termFormat EnglishLanguage Boarding "boarding")	domainEnglishFormat.kif 11442-11442

antecedent

(=> (and (instance ?B Boarding) (agent ?B ?A) (patient ?B ?V)) (and (holdsDuring (BeginFn (WhenFn ?B)) (not (onboard ?A ?V))) (holdsDuring (EndFn (WhenFn ?B)) (onboard ?A ?V))))	Mid-level-ontology.kif 18475-18486	If a process is an instance of boarding and an agent is an agent of the process and an entity is a patient of the process, then not the agent is onboard the entity holds during the beginning of the time of existence of the process and the agent is onboard the entity holds during the end of the time of existence of the process
(=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle))	Mid-level-ontology.kif 18469-18473	If a process is an instance of boarding and an entity is a patient of the process, then the entity is an instance of vehicle

consequent

(=> (instance ?S AirportStagingArea) (hasPurpose ?S (exists (?B ?C ?D ?T) (and (instance ?B Boarding) (instance ?C Collection) (instrument ?B ?C) (member ?D ?C) (instance ?D Device) (locatedAtTime ?C ?T ?S) (during ?T (WhenFn ?B))))))	Transportation.kif 1318-1329	If a physical is an instance of airport staging area, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of boarding and the other entity is an instance of collection and the other entity is an instrument for the entity and the third entity is a member of the other entity and the third entity is an instance of device and the other entity located at time the fourth entity for the physical and the fourth entity takes place during the time of existence of the entity
(=> (instance ?X BusStop) (hasPurpose ?X (exists (?B ?BO ?D) (and (instance ?B Bus) (instance ?BO Boarding) (instance ?D Deboarding) (eventLocated ?BO ?X) (eventLocated ?D ?X) (patient ?BO ?B) (patient ?D ?B)))))	Transportation.kif 2129-2140	If a physical is an instance of bus stop, then the physical has the purpose there exist an entity, the entityO and a third entity such that the entity is an instance of bus and the entityO is an instance of boarding and the third entity is an instance of deboarding and the entityO is located at the physical and the third entity is located at the physical and the entity is a patient of the entityO and the entity is a patient of the third entity

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