No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2047-2048 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6764-6764 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7537-7537 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7538-7538 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7539-7539 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7540-7540 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7541-7541 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31667-31667 |
roomTempState 磷酸盐 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2044-2044 |
磷酸盐 是 复合物质 的 subclass |