| AirportWithPavedRunway(airport with paved runway)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1342-1344 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2089-2089 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1632-1632 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2088-2088 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2086-2086 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1341-1341 | Airport with paved runway is an instance of airport by runway surface |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6257-6257 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6256-6256 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6255-6255 |
| antecedent |
|
|
| 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 1346-1353 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1278-1285 |
|
|
|
|