No TPTP formula. May not be expressible in strict first order. |
naics.kif 10544-10544 |
Locksmiths e' um sub-atributo de SecuritySystemsServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10537-10537 |
SecuritySystemsServicesExceptLocksmiths e' um sub-atributo de SecuritySystemsServices |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51947-51947 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51946-51946 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51945-51945 |
|