No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27578-27578 |
20 是 鈣 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29208-29208 |
測量 1760.0 and 凱文度 是 鈣 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27586-27588 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2130-2130 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1685-1685 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1060-1060 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29207-29207 |
測量 1112.0 and 凱文度 是 鈣 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5866-5866 |
molecularRatio 鈣, 1 and CalciumChloride |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27576-27576 |
名 鈣 and "Calcium" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31466-31466 |
roomTempState 鈣 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27575-27575 |
子類 鈣 and ElementalSubstance |