| 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 14965-14966 | |
| (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 15005-15005 | |
| (subclass Boarding Translocation) | Mid-level-ontology.kif 14964-14964 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Boarding "登机") | domainEnglishFormat.kif 11441-11441 | |
| (termFormat ChineseTraditionalLanguage Boarding "登機") | domainEnglishFormat.kif 11440-11440 | |
| (termFormat EnglishLanguage Boarding "boarding") | domainEnglishFormat.kif 11439-11439 |
| 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 14973-14984 | |
| (=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle)) |
Mid-level-ontology.kif 14967-14971 |
| 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 1979-1990 |
|
|
|