| No TPTP formula. May not be expressible in strict first order. | Media.kif 1900-1904 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26395-26395 | 书 是 Document 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1073-1073 | 书 是 HardcopyDocument 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7863-7863 | 基督教圣经 是 书 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7874-7874 | 旧约 是 书 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7878-7878 | 新约 是 书 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14912-14912 | 参考书 是 书 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14945-14945 | 小说 是 书 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26398-26398 | GuideBook 是 书 的 subclass |
|
|