No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1824-1824 |
NaturalGasDistribution est un sous-attribut de NaturalGasIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1823-1823 |
NaturalGasLiquidExtraction est un sous-attribut de NaturalGasIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1825-1825 |
PipelineTransportationOfNaturalGas est un sous-attribut de NaturalGasIndustry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39875-39875 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39874-39874 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39873-39873 |
|