Airport(airport)![]() ![]() | ![]() | aerodrome, air_terminal, airdrome, airfield, airport, airport_terminal, airstrip, drome, field, flight_strip, flying_field, landing_field, landing_strip, strip |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1268-1269 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1627-1627 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2080-2080 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1022-1022 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1266-1266 | Airport is a subclass of air transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1267-1267 | Airport is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1265-1265 | Airport is a subclass of transit terminal |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2768-2768 | Military airport is a subclass of airport |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6231-6231 | Military airport is a subclass of airport |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6230-6230 | Military airport is a subclass of airport |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6229-6229 | Military airport is a subclass of airport |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1295-1295 | The number 1 argument of number of aprons is an instance of airport |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1437-1437 | The number 1 argument of number of runways is an instance of airport |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1454-1454 | The number 1 argument of number of taxiways is an instance of airport |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1486-1493 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1500-1507 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1574-1586 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1555-1567 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1536-1548 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1593-1603 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1520-1529 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3155-3157 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1349-1359 | A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if there exist a symbolic string and an entity such that the nonnegative integer is a cardinality of the class described by the symbolic string |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1611-1620 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1275-1280 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1311-1316 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2869-2874 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2082-2091 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1414-1419 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1361-1368 |
|
![]() |
![]() |