No TPTP formula. May not be expressible in strict first order. |
naics.kif 1044-1046 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8608-8608 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9457-9457 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1824-1824 |
NaturalGasDistribution e' um sub-atributo de NaturalGasIndustry |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1042-1042 |
NaturalGasDistribution e' um sub-atributo de Utilities |