No TPTP formula. May not be expressible in strict first order. |
naics.kif 8583-8583 |
机场运营 是 支持航空运输活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8605-8605 |
其他航空运输支持活动 是 支持航空运输活动 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56131-56131 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56130-56130 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56129-56129 |
|