No TPTP formula. May not be expressible in strict first order. |
naics.kif 8843-8843 |
NewspaperPeriodicalBookAndDatabasePublishers e' um sub-atributo de PublishingIndustries |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8898-8898 |
SoftwarePublishers e' um sub-atributo de PublishingIndustries |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48032-48032 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48031-48031 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48030-48030 |
|