No TPTP formula. May not be expressible in strict first order. |
naics.kif 8589-8589 |
Air traffic control is a subattribute of airport operations |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8596-8596 |
Other airport operations is a subattribute of airport operations |
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 |
|