partition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1447-1447 | 人类语言 详尽无遗地 partition 成 自然语言 和 人工语言 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1448-1448 | 人类语言 详尽无遗地 partition 成 口语人类语言 和 手动人类语言 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1956-1956 | 整数 详尽无遗地 partition 成 负整数 和 非负整数 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1955-1955 | 整数 详尽无遗地 partition 成 奇整数 和 偶数 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14732-14732 | 液体混合物 详尽无遗地 partition 成 溶液 和 悬挂 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 541-541 | 低压天气系统 详尽无遗地 partition 成 高压天气系统 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13725-13725 | 制作音乐 详尽无遗地 partition 成 器乐 和 唱歌 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14924-14924 | 叙述文本 详尽无遗地 partition 成 虚构的文字 和 历史记录 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1825-1825 | 数字 详尽无遗地 partition 成 实数, 虚数, 和 复数 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14370-14370 | 有机物体 详尽无遗地 partition 成 生物 和 解剖结构 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14379-14379 | 生物 详尽无遗地 partition 成 动物, 植物, 菌类, 和 微生物 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7405-7405 | 悬浮颗粒 详尽无遗地 partition 成 粗悬浮颗粒 和 细悬浮颗粒 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1286-1286 | Phalanx 详尽无遗地 partition 成 ToeBone 和 FingerBone |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | 物理 详尽无遗地 partition 成 客体 和 过程 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2026-2026 | 物理量 详尽无遗地 partition 成 恒量 和 函数量 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7029-7029 | 商业地点 详尽无遗地 partition 成 商业建筑 和 商业单位 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19536-19536 | 政治经济属性 详尽无遗地 partition 成 政体 和 经济属性 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16722-16722 | 中学后 详尽无遗地 partition 成 大专, 学院, 和 大学 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 314-314 | 蛋白质结构属性 详尽无遗地 partition 成 蛋白质结构属性复合 和 蛋白质结构属性原始 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18280-18280 | 心理属性 详尽无遗地 partition 成 心理状态 和 特征属性 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1085-1085 | 純物质 详尽无遗地 partition 成 复合物质 和 元素物质 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2872-2872 | 数量 详尽无遗地 partition 成 有限数量 和 无限的数量 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10895-10895 | 量变 详尽无遗地 partition 成 增加 和 减少 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 648-648 | 放射性武器 详尽无遗地 partition 成 核武器 和 放射性武器 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1892-1892 | 实数 详尽无遗地 partition 成 负实数 和 非负实数 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |