No TPTP formula. May not be expressible in strict first order. |
naics.kif 8864-8864 |
图书出版商 是 报纸期刊和数据库出版商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8871-8871 |
数据库和目录发布者 是 报纸期刊和数据库出版商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8850-8850 |
报纸出版社 是 报纸期刊和数据库出版商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8878-8878 |
其他出版商 是 报纸期刊和数据库出版商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8857-8857 |
定期出版商 是 报纸期刊和数据库出版商 的 subAttribute |
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 |
|