No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11141-11141 |
走动 详尽无遗地 partition 成 步行 和 赛跑 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14915-14915 |
解剖结构 详尽无遗地 partition 成 动物解剖结构 和 植物解剖结构 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14914-14914 |
解剖结构 详尽无遗地 partition 成 身体部位 和 异常的解剖结构 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14447-14447 |
动物 详尽无遗地 partition 成 脊椎动物 和 无脊椎动物 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16813-16813 |
争论 详尽无遗地 partition 成 演绎论证 和 归纳论证 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1702-1702 |
属性 详尽无遗地 partition 成 内在属性 和 关联属性 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 82-82 |
生化剂 详尽无遗地 partition 成 生物制剂 和 化学剂 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 108-108 |
生化武器 详尽无遗地 partition 成 生物武器 和 化学武器 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 157-157 |
生物制剂 详尽无遗地 partition 成 毒素 和 有毒生物 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7625-7625 |
护理组织 详尽无遗地 partition 成 医院组织 和 医疗诊所 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1027-1027 |
主席出版物 详尽无遗地 partition 成 主席指示 和 主席手册 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12504-12504 |
化学过程 详尽无遗地 partition 成 化学合成 和 化学分解 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13036-13036 |
沟通 详尽无遗地 partition 成 陈述, 假如, 指令g, 承诺, 表示, 和 声明 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3585-3585 |
货币 详尽无遗地 partition 成 货币单 和 货币硬币 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16833-16833 |
演绎论证 详尽无遗地 partition 成 有效的演绎论证 和 无效的演绎论证 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 816-816 |
实体 详尽无遗地 partition 成 物理 和 抽象体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12943-12943 |
表示 详尽无遗地 partition 成 手势 和 用语言表达 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1604-1604 |
火器 详尽无遗地 partition 成 步枪 和 手枪 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8152-8152 |
园林 详尽无遗地 partition 成 私人庭园 和 公共庭园 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14032-14032 |
地理区域 详尽无遗地 partition 成 水域 和 土地面积 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17781-17781 |
几何图 详尽无遗地 partition 成 几何点, 一维图, 二维图, 和 三维图 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5820-5820 |
图元素 详尽无遗地 partition 成 图节点 和 图弧 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1162-1162 |
枪 详尽无遗地 partition 成 火炮枪 和 火器 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5279-5279 |
Hardwood 详尽无遗地 partition 成 Softwood |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14645-14645 |
人类 详尽无遗地 partition 成 人 和 女人 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |