Substance
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1587-1590 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1045-1051 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 165-169 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 194-199 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 917-917 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1042-1042 | 物质 详尽无遗地 partition 成 純物质 和 混合物 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1043-1043 | 物质 详尽无遗地 partition 成 合成物质 和 天然物质 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1041-1041 | 物质 是 自身连接物体 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1227-1227 | 躯体性物体 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14671-14671 | 生物活性物质 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14806-14806 | 身体物质 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2471-2471 | 化学酸 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1281-1281 | 导体物质 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3793-3793 | Creatinine 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7110-7110 | 水晶 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3082-3082 | DrugCandidate 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2664-2664 | 流出的 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2556-2556 | 电力 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17862-17862 | 爆炸性物质 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1693-1693 | 汽油 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4750-4750 | 阿拉伯树胶 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1286-1286 | 绝缘体物质 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7488-7488 | 液体滴 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2975-2975 | Lubricant 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14311-14311 | 矿物 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1182-1182 | 混合物 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1080-1080 | 天然物质 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2762-2762 | 有毒物质 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8950-8950 | 粉末 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1084-1084 | 純物质 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17904-17904 | 岩石 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4158-4158 | 糖 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8822-8822 | 表面活性剂 是 物质 的 subclass |
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. | VirusProteinAndCellPart.kif 255-255 | 催化剂 的 2 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1241-1241 | mixtureRatio 的 1 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1242-1242 | mixtureRatio 的 2 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 951-951 | 块 的 1 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 952-952 | 块 的 2 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8797-8797 | 反应 的 2 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8804-8804 | 试剂 的 2 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7577-7577 | AmountsFn 的 1 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6225-6225 | allergic 的 2 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7592-7592 | amount 的 1 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 225-225 | concentration 的 2 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4286-4286 | 地下表面类型 的 2 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4279-4279 | 地面类型 的 2 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1213-1213 | ingredient 的 1 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1214-1214 | ingredient 的 2 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 978-978 | 材料 的 1 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5858-5858 | mixturePartType 的 1 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31675-31675 | roomTempState 的 1 数量 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1243-1243 | substanceElement 的 2 数量 是 物质 的 subclass |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7142-7162 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1060-1065 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7380-7392 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7352-7363 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17594-17601 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1053-1058 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17569-17574 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17576-17580 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3199-3211 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7497-7509 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8465-8488 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7380-7392 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7352-7363 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4570-4585 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8848-8857 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3051-3060 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3606-3622 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1231-1239 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3262-3273 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17538-17549 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 248-258 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 260-266 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2068-2074 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4528-4543 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 424-432 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4549-4564 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9546-9557 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1072-1078 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4626-4640 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21853-21858 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21575-21584 |