Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Deboarding(deboarding) |  | get_off |
| appearance as argument number 1 |
|
|
| (subclass Deboarding Translocation) | Mid-level-ontology.kif 19256-19256 | Deboarding is a subclass of translocation |
| (documentation Deboarding EnglishLanguage "Getting off a Vehicle, e.g. getting out of an Automobile, deplaning, getting off a WaterVehicle, etc.") | Mid-level-ontology.kif 19258-19259 | Deboarding is a subclass of translocation |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Boarding Deboarding) | Mid-level-ontology.kif 19257-19257 | Boarding is internally related to deboarding |
| (termFormat EnglishLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18804-18804 | Boarding is internally related to deboarding |
| (termFormat ChineseTraditionalLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18805-18805 | Boarding is internally related to deboarding |
| (termFormat ChineseLanguage Deboarding "deboarding") | domainEnglishFormat.kif 18806-18806 | Boarding is internally related to deboarding |
| antecedent |
|
|
| (=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle)) |
Mid-level-ontology.kif 19260-19264 | If X is an instance of deboarding and Y is a patient of X, then Y is an instance of vehicle |
| (=> (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 19266-19278 | If X is an instance of deboarding, Y is an agent of X, and Z is a patient of X, then Y is onboard Z holds during the beginning of the time of existence of X and Y is onboard Z holds during the end of the time of existence of X |
| consequent |
|
|
| (=> (instance ?S AirportStagingArea) (hasPurpose ?S (exists (?DB ?C ?D ?T) (and (instance ?DB Deboarding) (instance ?C CollectionOfObjects) (instrument ?DB ?C) (member ?D ?C) (instance ?D Device) (locatedAtTime ?C ?T ?S) (during ?T (WhenFn ?DB)))))) |
Transportation.kif 1331-1342 | If X is an instance of airport staging area, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of deboarding (3) Z is an instance of collection (4) Z is an instrument for Y (5) W is a member of Z (6) W is an instance of device (7) Z located at time V for X (8) V takes place during the time of existence of Y |
| (=> (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 2149-2160 | If X is an instance of bus stop, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of bus (3) Z is an instance of boarding (4) W is an instance of deboarding (5) Z is located at X (6) W is located at X (7) Y is a patient of Z (8) Y is a patient of W |
|