IATAAirlineCode(IATA airline code) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3143-3144 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3142-3142 | IATA airline code is an instance of CodeMap |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3145-3145 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3151-3153 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3147-3149 |
![]() |
![]() |