Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AirportStagingArea
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AirportStagingArea Region) | Transportation.kif 1307-1307 | Airport staging area is a subclass of region |
| (documentation AirportStagingArea EnglishLanguage "An AirportStagingArea is a designated area where equipment can be staged prior to the arrival or departure of an aircraft.[Wikipedia]") | Transportation.kif 1308-1309 | Airport staging area is a subclass of region |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirportStagingArea "airport staging area") | domainEnglishFormat.kif 6249-6249 |
| antecedent |
|
|
| (=> (instance ?S AirportStagingArea) (exists (?A) (and (instance ?A Airport) (located ?S ?A)))) |
Transportation.kif 1311-1316 | If X is an instance of airport staging area, then there exists Y such that Y is an instance of airport and X is located at Y |
| (=> (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 ?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 |
|