No TPTP formula. May not be expressible in strict first order. |
naics.kif 1097-1097 |
BuildingDevelopingAndGeneralContracting e' um sub-atributo de Construction |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1152-1152 |
HeavyConstruction e' um sub-atributo de Construction |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1215-1215 |
SpecialTradeContractors e' um sub-atributo de Construction |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16788-16788 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16787-16787 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16786-16786 |
|