No TPTP formula. May not be expressible in strict first order. |
naics.kif 656-656 |
CrudePetroleumAndNaturalGasExtraction e' um sub-atributo de OilAndGasExtraction |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 663-663 |
NaturalGasLiquidExtraction e' um sub-atributo de OilAndGasExtraction |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41940-41940 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41939-41939 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41938-41938 |
|