No TPTP formula. May not be expressible in strict first order. |
naics.kif 2589-2589 |
Sawmills est un sous-attribut de SawmillsAndWoodPreservation |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2595-2595 |
WoodPreservation est un sous-attribut de SawmillsAndWoodPreservation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51431-51431 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51430-51430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51429-51429 |
|