No TPTP formula. May not be expressible in strict first order. |
naics.kif 9893-9893 |
AllOtherLegalServices e' um sub-atributo de OtherLegalServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9886-9886 |
TitleAbstractAndSettlementOffices e' um sub-atributo de OtherLegalServices |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43178-43178 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43177-43177 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43176-43176 |
|