Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Taxiway(taxiway) |  | taxi_strip, taxiway |
| appearance as argument number 1 |
|
|
| (subclass Taxiway LandTransitway) | Transportation.kif 1426-1426 | Taxiway is a subclass of land transitway |
| (documentation Taxiway EnglishLanguage "A Taxiway is a path for aircraft at an airport connecting Runways with aprons, hangars, terminals and other facilities. [Wikipedia]") | Transportation.kif 1427-1428 | Taxiway is a subclass of land transitway |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Taxiway "taxiway") | domainEnglishFormat.kif 57092-57092 |
| antecedent |
|
|
| (=> (instance ?T Taxiway) (exists (?A) (and (instance ?A Airport) (located ?T ?A)))) |
Transportation.kif 1430-1435 | If X is an instance of taxiway, then there exists Y such that Y is an instance of airport and X is located at Y |
| (=> (instance ?T Taxiway) (hasPurpose ?T (exists (?R ?AA) (and (instance ?R Runway) (instance ?AA AirportApron) (connects ?T ?R ?AA))))) |
Transportation.kif 1437-1444 | If X is an instance of taxiway, then X has the purpose there exist Y, Z such that Y is an instance of runway, Z is an instance of airport apron, X connects Y, and Z |
| (=> (instance ?T Taxiway) (trafficableForTrafficType ?T Airplane)) |
Transportation.kif 1446-1448 | If X is an instance of taxiway, then airplane is a trafficable for traffic type of X |
| consequent |
|
|
| (=> (numberOfTaxiways ?A ?N) (exists (?T ?COLL) (and (instance ?T Taxiway) (part ?T ?A) (member ?T ?COLL) (memberCount ?COLL ?N)))) |
Transportation.kif 1474-1481 | If X has Y Taxiway, then there exist Z, W such that Z is an instance of taxiway, Z is a part of X, Z is a member of W, and Y is a member count of W |
|