No TPTP formula. May not be expressible in strict first order. |
naics.kif 656-656 |
原油和天然气开采 是 石油和天然气开采 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 663-663 |
天然气液体萃取 是 石油和天然气开采 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41942-41942 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41941-41941 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41940-41940 |
|