No TPTP formula. May not be expressible in strict first order. |
naics.kif 1171-1171 |
桥梁和隧道施工 是 公路街桥和隧道施工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1164-1164 |
公路和街道建设 是 公路街桥和隧道施工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28179-28179 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28178-28178 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28177-28177 |
|