No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27621-27621 |
22 是 钛 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29224-29224 |
3533.0 凯文度 是 钛 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27629-27632 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2036-2036 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2407-2407 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1270-1270 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29223-29223 |
1933.0 凯文度 是 钛 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27619-27619 |
"Titanium" 的名 是 钛 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31472-31472 |
roomTempState 钛 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27618-27618 |
钛 是 元素物质 的 subclass |