Deboarding(deboarding) | ![]() | get_off |
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 18970-18971 | |
(subclass Deboarding Translocation) | Mid-level-ontology.kif 18968-18968 | Deboarding is a subclass of translocation |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Boarding Deboarding) | Mid-level-ontology.kif 18969-18969 | Boarding is internally related to deboarding |
(termFormat ChineseLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18813-18813 | Boarding is internally related to deboarding |
(termFormat ChineseTraditionalLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18812-18812 | Boarding is internally related to deboarding |
(termFormat EnglishLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18811-18811 | Boarding is internally related to deboarding |
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 18978-18990 |
|
(=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle)) |
Mid-level-ontology.kif 18972-18976 |
|
consequent |
![]() |
![]() |
![]() |