No TPTP formula. May not be expressible in strict first order. |
naics.kif 4158-4158 |
IronFoundries e' um sub-atributo de FerrousMetalFoundries |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4171-4171 |
SteelFoundriesExceptInvestment e' um sub-atributo de FerrousMetalFoundries |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4164-4164 |
SteelInvestmentFoundries e' um sub-atributo de FerrousMetalFoundries |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23522-23522 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23521-23521 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23520-23520 |
|