No TPTP formula. May not be expressible in strict first order. |
naics.kif 8589-8589 |
AirTrafficControl est un sous-attribut de AirportOperations |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8596-8596 |
OtherAirportOperations est un sous-attribut de AirportOperations |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6240-6240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6239-6239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6238-6238 |
|