No TPTP formula. May not be expressible in strict first order. |
naics.kif 1275-1275 |
CarpentryContractors e' um sub-atributo de CarpentryAndFloorContractors |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1281-1281 |
FloorLayingAndOtherFloorContractors e' um sub-atributo de CarpentryAndFloorContractors |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13314-13314 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13313-13313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13312-13312 |
|