| Boarding
| |
| 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 18928-18929 | |
| (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 18969-18969 | |
| (subclass Boarding Translocation) | Mid-level-ontology.kif 18927-18927 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Boarding "登机") | domainEnglishFormat.kif 11438-11438 | |
| (termFormat ChineseTraditionalLanguage Boarding "登機") | domainEnglishFormat.kif 11437-11437 | |
| (termFormat EnglishLanguage Boarding "boarding") | domainEnglishFormat.kif 11436-11436 |
| 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 18937-18948 | |
| (=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle)) |
Mid-level-ontology.kif 18931-18935 |
| 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 | |
| (=> (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 |
|
|
|