UnpavedRunway(unpaved runway)![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1479-1480 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4841-4841 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1478-1478 | Unpaved runway is a subclass of runway |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1485-1485 | Paved runway is disjoint from unpaved runway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60442-60442 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60441-60441 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60440-60440 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1481-1483 |
|
consequent |
![]() |
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 1467-1476 |
|
![]() |
![]() |