| 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 26440-26440 | 子類 Book and Document |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1073-1073 | 子類 Book and HardcopyDocument |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7891-7891 | 子類 基督教聖經 and Book |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7902-7902 | 子類 舊約 and Book |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7906-7906 | 子類 新約 and Book |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14940-14940 | 子類 參考書 and Book |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14973-14973 | 子類 小說 and Book |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26443-26443 | 子類 GuideBook and Book |
|
|