Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Boarding(boarding)
|  | board, change, get_on, transfer |
| appearance as argument number 1 |
|
|
| (subclass Boarding Translocation) | Mid-level-ontology.kif 19215-19215 | Boarding is a subclass of translocation |
| (documentation Boarding EnglishLanguage "Getting on a Vehicle, e.g. getting into an Automobile, boarding an Aircraft, etc.") | Mid-level-ontology.kif 19216-19217 | Boarding is a subclass of translocation |
| (relatedInternalConcept Boarding Deboarding) | Mid-level-ontology.kif 19257-19257 | Boarding is internally related to deboarding |
| (externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Boarding.easyjet.a319.arp.jpg") | pictureList.kif 1667-1667 | Boarding is internally related to deboarding |
| (externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg") | pictureList.kif 2117-2117 | Boarding is internally related to deboarding |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle)) |
Mid-level-ontology.kif 19219-19223 | If X is an instance of boarding and Y is a patient of X, then Y is an instance of vehicle |
| (=> (and (instance ?B Boarding) (agent ?B ?A) (patient ?B ?V)) (and (holdsDuring (BeginFn (WhenFn ?B)) (not (onboard ?A ?V))) (holdsDuring (EndFn (WhenFn ?B)) (onboard ?A ?V)))) |
Mid-level-ontology.kif 19225-19236 | If X is an instance of boarding, 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 (?B ?C ?D ?T) (and (instance ?B Boarding) (instance ?C CollectionOfObjects) (instrument ?B ?C) (member ?D ?C) (instance ?D Device) (locatedAtTime ?C ?T ?S) (during ?T (WhenFn ?B)))))) |
Transportation.kif 1318-1329 | 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 boarding (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 |
|