Deboarding
|
|
appearance as argument number 1 |
(documentation Deboarding EnglishLanguage "Getting off a Vehicle, e.g. getting out of an Automobile, deplaning, getting off a WaterVehicle, etc.") | Mid-level-ontology.kif 17419-17420 | |
(subclass Deboarding Translocation) | Mid-level-ontology.kif 17417-17417 | Deboarding è una sottoclasse di Translocation |
appearance as argument number 2 |
(relatedInternalConcept Boarding Deboarding) | Mid-level-ontology.kif 17418-17418 | Boarding è interamente correlato a Deboarding |
(termFormat ChineseLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18804-18804 | |
(termFormat ChineseTraditionalLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18803-18803 | |
(termFormat EnglishLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18802-18802 |
antecedent |
(=> (and (instance ?B Deboarding) (agent ?B ?A) (patient ?B ?V)) (and (holdsDuring (BeginFn (WhenFn ?B)) (onboard ?A ?V)) (holdsDuring (EndFn (WhenFn ?B)) (not (onboard ?A ?V))))) |
Mid-level-ontology.kif 17427-17439 | |
(=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle)) |
Mid-level-ontology.kif 17421-17425 |
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 |
|