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 40857-40857 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40856-40856 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40855-40855 |
|