| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1322-1322 | 子類 ContentBearingObject and CorpuscularObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1323-1323 | 子類 ContentBearingObject and 內容承載物理 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1087-1087 | 子類 船舶登記 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1106-1106 | 子類 船舶登記 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 662-662 | 子類 過程狀態 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 781-781 | 子類 反饋 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1805-1805 | 子類 統一資源標識符 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2166-2166 | 子類 用戶帳號 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2723-2723 | 子類 羅盤 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15796-15796 | 子類 SheetMusic and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16258-16258 | 子類 節日賀卡 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18526-18526 | 子類 Sign and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18532-18532 | 子類 紙牌 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26207-26207 | 子類 Descriptor and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26224-26224 | 子類 DescriptorPart and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27868-27868 | 子類 VisualContentBearingObject and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28044-28044 | 子類 Document and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1381-1381 | 子類 Recording and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15498-15498 | 子類 Text and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 646-646 | 子類 憲法文件 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 380-380 | 子類 多極圖 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1676-1676 | 子類 網絡文件 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4535-4535 | 子類 Account and ContentBearingObject |
|
|