No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28809-28809 |
锕 是 "Ac" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28046-28046 |
银 是 "Ag" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3142-3142 |
空气污染公约 是 "Air Pollution" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27475-27475 |
铝 是 "Al" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28915-28915 |
銤 是 "Am" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3188-3188 |
南极海豹公约 是 "Antarctic Seals" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3182-3182 |
南极洲 - 海洋生物资源公约 是 "Antarctic-Marine Living Resources" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27558-27558 |
氩 是 "Ar" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27806-27806 |
砷 是 "As" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28742-28742 |
砹 是 "At" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28631-28631 |
金 是 "Au" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27331-27331 |
硼 是 "B" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28203-28203 |
钡 是 "Ba" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3249-3249 |
危险废物公约 是 "Basel Convention" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27315-27315 |
铍 是 "Be" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28707-28707 |
铋 是 "Bi" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28949-28949 |
锫 是 "Bk" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4800-4800 |
美国海关和边境保护局 是 "Border Patrol" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27837-27837 |
溴 是 "Br" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27350-27350 |
碳 是 "C" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27589-27589 |
钙 是 "Ca" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28061-28061 |
镉 是 "Cd" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28239-28239 |
铈 是 "Ce" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28966-28966 |
锎 是 "Cf" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27541-27541 |
氯 是 "Cl" 的 conventional 简称 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |