GreetingCardPublishers |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8886-8889 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8884-8884 | GreetingCardPublishers est un sous-attribut de OtherPublishers |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26622-26622 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26621-26621 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26620-26620 |