|
|
   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 17404-17405 | |
| (externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Boarding.easyjet.a319.arp.jpg") | pictureList.kif 1668-1668 | |
| (externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg") | pictureList.kif 2118-2118 | |
| (relatedInternalConcept Boarding Deboarding) | Mid-level-ontology.kif 17445-17445 | Boarding est reli� � l'int�rieur de SUMO � Deboarding |
| (subclass Boarding Translocation) | Mid-level-ontology.kif 17403-17403 | Boarding est une sous-classe de Translocation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Boarding "登机") | domainEnglishFormat.kif 11429-11429 | |
| (termFormat ChineseTraditionalLanguage Boarding "登機") | domainEnglishFormat.kif 11428-11428 | |
| (termFormat EnglishLanguage Boarding "boarding") | domainEnglishFormat.kif 11427-11427 |
| 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 17413-17424 | |
| (=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle)) |
Mid-level-ontology.kif 17407-17411 |
| 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 1989-2000 |
|
|
|
|
