| 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 18970-18971 | |
| (subclass Deboarding Translocation) | Mid-level-ontology.kif 18968-18968 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Boarding Deboarding) | Mid-level-ontology.kif 18969-18969 | |
| (termFormat ChineseLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18813-18813 | |
| (termFormat ChineseTraditionalLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18812-18812 | |
| (termFormat EnglishLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18811-18811 |
| 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 |
|
|
| (=> (instance ?S AirportStagingArea) (hasPurpose ?S (exists (?DB ?C ?D ?T) (and (instance ?DB Deboarding) (instance ?C Collection) (instrument ?DB ?C) (member ?D ?C) (instance ?D Device) (locatedAtTime ?C ?T ?S) (during ?T (WhenFn ?DB)))))) |
Transportation.kif 1331-1342 | |
| (=> (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 2129-2140 |
|
|
|