| 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 16818-16819 | |
| (externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Boarding.easyjet.a319.arp.jpg") | pictureList.kif 1669-1669 | |
| (externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg") | pictureList.kif 2119-2119 | |
| (relatedInternalConcept Boarding Deboarding) | Mid-level-ontology.kif 16859-16859 | |
| (subclass Boarding Translocation) | Mid-level-ontology.kif 16817-16817 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Boarding "登机") | domainEnglishFormat.kif 11432-11432 | |
| (termFormat ChineseTraditionalLanguage Boarding "登機") | domainEnglishFormat.kif 11431-11431 | |
| (termFormat EnglishLanguage Boarding "boarding") | domainEnglishFormat.kif 11430-11430 |
| 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 16827-16838 | |
| (=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle)) |
Mid-level-ontology.kif 16821-16825 |
| consequent |
|
|
| (=> (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 1997-2008 |
|
|
|