| ContentBearingObject | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1641-1643 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1324-1327 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 225-228 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 267-270 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1322-1322 | 相關的內部概念 ContentBearingObject and 包含信息 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1321-1321 | 子類 ContentBearingObject and 內容承載物理 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1320-1320 | 子類 ContentBearingObject and CorpuscularObject |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15577-15577 | 範圍子類 版 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | 子類 Account and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2254-2254 | 子類 羅盤 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. | Mid-level-ontology.kif 25474-25474 | 子類 Descriptor and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25491-25491 | 子類 DescriptorPart and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27310-27310 | 子類 Document and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 778-778 | 子類 反饋 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15723-15723 | 子類 節日賀卡 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. | Mid-level-ontology.kif 17981-17981 | 子類 紙牌 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 660-660 | 子類 過程狀態 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1379-1379 | 子類 Recording and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15263-15263 | 子類 SheetMusic 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. | Transportation.kif 1087-1087 | 子類 船舶登記 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17975-17975 | 子類 Sign and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15430-15430 | 子類 Text and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1780-1780 | 子類 統一資源標識符 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2141-2141 | 子類 用戶帳號 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27135-27135 | 子類 VisualContentBearingObject 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. | chinese_format.kif 833-833 | 子類 網絡文件 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 868-868 | 子類 網絡文件 and ContentBearingObject |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3513-3513 | 域 卡代碼, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2306-2306 | 域 coding, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24264-24264 | 域 欺騙性標識符, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23660-23660 | 域 庫存, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15189-15189 | 域 record, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15215-15215 | 域 stored, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15575-15575 | 域子類 版, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15526-15526 | 域子類 作者, 2 and ContentBearingObject |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1527-1533 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10899-10907 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10922-10929 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1535-1541 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1573-1580 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16894-16902 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1812-1818 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3013-3020 |
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 244-253 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 240-242 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3349-3359 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12746-12751 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4598-4603 |
|
|
|
|