No TPTP formula. May not be expressible in strict first order. |
naics.kif 9868-9868 |
Offices of lawyers is a subattribute of legal services |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9874-9874 |
Offices of notaries is a subattribute of legal services |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9880-9880 |
Other legal services is a subattribute of legal services |
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 |
|