![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8845-8848 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8843-8843 | NewspaperPeriodicalBookAndDatabasePublishers e' um sub-atributo de PublishingIndustries |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8864-8864 | BookPublishers e' um sub-atributo de NewspaperPeriodicalBookAndDatabasePublishers |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8871-8871 | DatabaseAndDirectoryPublishers e' um sub-atributo de NewspaperPeriodicalBookAndDatabasePublishers |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8850-8850 | NewspaperPublishers e' um sub-atributo de NewspaperPeriodicalBookAndDatabasePublishers |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8878-8878 | OtherPublishers e' um sub-atributo de NewspaperPeriodicalBookAndDatabasePublishers |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8857-8857 | PeriodicalPublishers e' um sub-atributo de NewspaperPeriodicalBookAndDatabasePublishers |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40335-40335 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40334-40334 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40333-40333 |
![]() |
![]() |