| 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 1331-1334 | |
| 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 1329-1329 | 相關的內部概念 ContentBearingObject and 包含信息 |
| 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. | Merge.kif 1327-1327 | 子類 ContentBearingObject and CorpuscularObject |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15510-15510 | 範圍子類 版 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 2261-2261 | 子類 羅盤 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. | Mid-level-ontology.kif 24526-24526 | 子類 Descriptor and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24543-24543 | 子類 DescriptorPart and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26386-26386 | 子類 Document 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. | Mid-level-ontology.kif 14867-14867 | 子類 節日賀卡 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. | Mid-level-ontology.kif 17125-17125 | 子類 紙牌 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. | Merge.kif 1386-1386 | 子類 Recording and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14407-14407 | 子類 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 17119-17119 | 子類 Sign and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15360-15360 | 子類 Text 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 26211-26211 | 子類 VisualContentBearingObject 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. | chinese_format.kif 833-833 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 868-868 | |
| 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 3499-3499 | 域 卡代碼, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2200-2200 | 域 coding, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23321-23321 | 域 欺騙性標識符, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22717-22717 | 域 庫存, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14333-14333 | 域 record, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14359-14359 | 域 stored, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15508-15508 | 域子類 版, 1 and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15457-15457 | 域子類 作者, 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 10840-10848 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10863-10870 | |
| 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 16802-16810 |
|
| 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 3025-3032 |
|
| 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 3356-3366 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12675-12680 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4608-4613 |
|
|
|
|