No TPTP formula. May not be expressible in strict first order. |
naics.kif 2589-2589 |
Sawmills e' um sub-atributo de SawmillsAndWoodPreservation |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2595-2595 |
WoodPreservation e' um sub-atributo de SawmillsAndWoodPreservation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51429-51429 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51428-51428 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51427-51427 |
|