SyntheticSubstance(合成物质) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1591-1592 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1069-1070 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 170-171 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 200-202 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 919-919 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1067-1067 | 合成物质 是 物质 的 subclass |
appearance as argument number 2 |
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. | domainEnglishFormat.kif 56631-56631 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56630-56630 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56629-56629 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1072-1078 |