Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  EleiSinaiGazaStrip
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AirportApron ParkingRegion) | Transportation.kif 1271-1271 | Airport apron is a subclass of parking area |
| (documentation AirportApron EnglishLanguage "An AirportApron is the area of an airport where aircrafts are parked, unloaded or loaded, refueled, boarded, or maintained.[Wikipedia]") | Transportation.kif 1272-1273 | Airport apron is a subclass of parking area |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirportApron "airport apron") | domainEnglishFormat.kif 6229-6229 |
| antecedent |
|
|
| (=> (instance ?AA AirportApron) (exists (?A) (and (instance ?A Airport) (located ?AA ?A)))) |
Transportation.kif 1275-1280 | If X is an instance of airport apron, then there exists Y such that Y is an instance of airport and X is located at Y |
| (=> (instance ?AA AirportApron) (hasPurpose ?AA (exists (?P ?K) (and (instance ?P Airplane) (instance ?K Keeping) (patient ?K ?P) (destination ?K ?AA))))) |
Transportation.kif 1282-1290 | If X is an instance of airport apron, then X has the purpose there exist Y, Z such that Y is an instance of airplane, Z is an instance of keeping, Y is a patient of Z, and Z ends up at X |
| consequent |
|
|
| (=> (numberOfAprons ?AA ?N) (exists (?A ?COLL) (and (instance ?A AirportApron) (part ?A ?AA) (member ?A ?COLL) (memberCount ?COLL ?N)))) |
Transportation.kif 1298-1305 | If X has Y Aprons, then there exist Z, W such that Z is an instance of airport apron, Z is a part of X, Z is a member of W, and Y is a member count of W |
| (=> (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 |
|