|
|
   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 | 有内用物体 和 包含信息 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1328-1328 | 有内用物体 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1327-1327 | 有内用物体 是 躯体性物体 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15532-15532 | 版本函数 的所得值 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | Account 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2261-2261 | 罗盘 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 682-682 | 宪法文件 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24525-24525 | Descriptor 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24542-24542 | DescriptorPart 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26374-26374 | Document 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 672-672 | 反馈 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14866-14866 | 节日贺卡 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 381-381 | 多极图 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17124-17124 | 纸牌 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 554-554 | 过程状态 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1386-1386 | Recording 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14406-14406 | SheetMusic 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1106-1106 | 船舶登记 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1087-1087 | 船舶登记 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17118-17118 | Sign 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15382-15382 | 文本 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1674-1674 | 统一资源标识符 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2035-2035 | 用户帐号 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26199-26199 | VisualContentBearingObject 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1363-1363 | 网络文件 是 有内用物体 的 subclass |
| 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 数量 是 有内用物体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2200-2200 | coding 的 1 数量 是 有内用物体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23320-23320 | 欺骗性标识符 的 1 数量 是 有内用物体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22716-22716 | 库存 的 1 数量 是 有内用物体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14332-14332 | record 的 1 数量 是 有内用物体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14358-14358 | stored 的 1 数量 是 有内用物体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15530-15530 | 版本函数 的 1 数量 是 有内用物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15479-15479 | 作者 的 2 数量 是 有内用物体 的 subclass |
| 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 10862-10870 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10885-10892 | |
| 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 16824-16832 | |
| 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 12697-12702 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4608-4613 |
|
|
|