No TPTP formula. May not be expressible in strict first order. |
naics.kif 8843-8843 |
NewspaperPeriodicalBookAndDatabasePublishers est un sous-attribut de PublishingIndustries |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8898-8898 |
SoftwarePublishers est un sous-attribut 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 |
|