No TPTP formula. May not be expressible in strict first order. |
naics.kif 3848-3848 |
混凝土砌块和砖制造 是 混凝土管砖和砌块制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3855-3855 |
混凝土管制造 是 混凝土管砖和砌块制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16494-16494 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16493-16493 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16492-16492 |
|