No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28680-28680 |
82 是 鉛 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29332-29332 |
測量 2013.0 and 凱文度 是 鉛 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28688-28691 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2246-2246 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1832-1832 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1155-1155 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29331-29331 |
測量 600.65 and 凱文度 是 鉛 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28678-28678 |
名 鉛 and "Lead" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31528-31528 |
roomTempState 鉛 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28677-28677 |
子類 鉛 and ElementalSubstance |