| 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 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 | 登机 和 deboarding 是 内部相关 |
| (subclass Boarding Translocation) | Mid-level-ontology.kif 18465-18465 | 登机 是 易位 的 subclass |
| 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 | |
| (=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle)) |
Mid-level-ontology.kif 18469-18473 |
| 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 |
|
|
|