No TPTP formula. May not be expressible in strict first order. |
naics.kif 1144-1144 |
商业和公共建筑营造 是 非住宅建筑营造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1136-1136 |
制造业和工业建筑 是 非住宅建筑营造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40847-40847 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40846-40846 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40845-40845 |
|