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 1257-1258 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1628-1628 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2082-2082 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1023-1023 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1255-1255 | Airport is a subclass of air transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1256-1256 | Airport is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1254-1254 | Airport is a subclass of transit terminal |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6233-6233 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6232-6232 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6231-6231 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1346-1353 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1360-1367 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1432-1443 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1414-1425 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1396-1407 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1450-1459 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1380-1389 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2602-2604 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1266-1276 | 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 the nonnegative integer is a cardinality of the class described by a symbolic string |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1467-1476 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2019-2028 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1278-1285 |
|
![]() |
![]() |