No TPTP formula. May not be expressible in strict first order. |
naics.kif 8891-8891 |
AllOtherPublishers est un sous-attribut de OtherPublishers |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8884-8884 |
GreetingCardPublishers est un sous-attribut de OtherPublishers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43416-43416 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43415-43415 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43414-43414 |
|