![]() |
![]() ![]() ![]()
|
![]() |
|
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 16836-16837 | |
(subclass Deboarding Translocation) | Mid-level-ontology.kif 16834-16834 | Deboarding is a subclass of translocation |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Boarding Deboarding) | Mid-level-ontology.kif 16835-16835 | Boarding is internally related to deboarding |
(termFormat ChineseLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18795-18795 | |
(termFormat ChineseTraditionalLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18794-18794 | |
(termFormat EnglishLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18793-18793 |
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 16844-16856 |
|
(=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle)) |
Mid-level-ontology.kif 16838-16842 |
|
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 |
|
![]() |
![]() |