No TPTP formula. May not be expressible in strict first order. |
naics.kif 511-511 |
ForestNurseriesAndGatheringOfForestProducts est un sous-attribut de ForestryAndLogging |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 517-517 |
Logging est un sous-attribut de ForestryAndLogging |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 505-505 |
TimberTractOperations est un sous-attribut de ForestryAndLogging |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24710-24710 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24709-24709 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24708-24708 |
|