| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7252-7252 | 子類 出版者 and 生產廠家 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15809-15809 | 子類 期刊出版商 and 出版者 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1684-1684 | 子類 RecordingCompany and 出版者 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1693-1693 | 子類 BookPublisher and 出版者 |
|
|