| Barite(重晶石)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2000-2001 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 257-257 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31567-31567 | roomTempState 重晶石 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1996-1996 | 重晶石 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1997-1997 | 重晶石 是 矿物 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1998-1998 | 重晶石 的名 是 "barite" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9936-9936 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9935-9935 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9934-9934 |
|
|
|