No TPTP formula. May not be expressible in strict first order. |
naics.kif 9868-9868 |
OfficesOfLawyers e' um sub-atributo de LegalServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9874-9874 |
OfficesOfNotaries e' um sub-atributo de LegalServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9880-9880 |
OtherLegalServices e' um sub-atributo de LegalServices |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33851-33851 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33850-33850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33849-33849 |
|