No TPTP formula. May not be expressible in strict first order. | Merge.kif 1327-1327 | 子類 ContentBearingObject and CorpuscularObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1328-1328 | 子類 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 554-554 | 子類 過程狀態 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 672-672 | 子類 反饋 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1674-1674 | 子類 統一資源標識符 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2035-2035 | 子類 用戶帳號 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2261-2261 | 子類 羅盤 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14406-14406 | 子類 SheetMusic and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14866-14866 | 子類 節日賀卡 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17118-17118 | 子類 Sign and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17124-17124 | 子類 紙牌 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24525-24525 | 子類 Descriptor and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24542-24542 | 子類 DescriptorPart and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26199-26199 | 子類 VisualContentBearingObject and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26374-26374 | 子類 Document and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1386-1386 | 子類 Recording and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15382-15382 | 子類 Text and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Government.kif 682-682 | 子類 憲法文件 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 381-381 | 子類 多極圖 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1363-1363 | 子類 網絡文件 and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | 子類 Account and ContentBearingObject |