CompoundSubstance(复合物质) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8808-8808 | 油 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8559-8559 | 有机化合物 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2044-2044 | 磷酸盐 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5983-5983 | 磷酸 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2050-2050 | 钾肥 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1453-1453 | 石房蛤毒素 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7166-7166 | 二氧化硫 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1477-1477 | 河豚毒素 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14307-14307 | 水 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1701-1701 | 蜡 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 827-827 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 856-856 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 503-503 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 36-36 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 39-39 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2188-2188 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 455-455 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 41-41 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 70-70 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 524-524 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 40-40 |