No TPTP formula. May not be expressible in strict first order. |
naics.kif 8013-8013 |
非计划包货运航空运输 是 非定期航空运输 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8006-8006 |
非计划的包机客运 是 非定期航空运输 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8020-8020 |
其他非计划的航空运输 是 非定期航空运输 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40859-40859 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40858-40858 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40857-40857 |
|