No TPTP formula. May not be expressible in strict first order. |
naics.kif 10397-10397 |
OtherBusinessServiceCentersIncludingCopyShops e' um sub-atributo de BusinessServiceCenters |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10390-10390 |
PrivateMailCenters e' um sub-atributo de BusinessServiceCenters |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12475-12475 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12474-12474 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12473-12473 |
|