TreeView Knowledge Base Browser - NaturalGasIndustry

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1826-1826	industryProductType NaturalGasIndustry and NaturalGas
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1822-1822	NaturalGasIndustry est une instance de IndustryAttribute

appearance as argument number 2

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 39873-39873
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39872-39872
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39871-39871