No TPTP formula. May not be expressible in strict first order. |
naics.kif 3882-3882 |
子屬性 石膏產品製造 and 石灰和石膏產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3876-3876 |
子屬性 石灰製造 and 石灰和石膏產品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34433-34433 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34432-34432 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34431-34431 |
|