No TPTP formula. May not be expressible in strict first order. |
naics.kif 980-980 |
ElectricPowerGenerationTransmissionAndDistribution est un sous-attribut de Utilities |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1042-1042 |
NaturalGasDistribution est un sous-attribut de Utilities |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1048-1048 |
WaterSewageAndOtherSystems est un sous-attribut de Utilities |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61082-61082 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61081-61081 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61080-61080 |
|