No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28797-28797 |
锕 是 "Ac" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28034-28034 |
银 是 "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 27463-27463 |
铝 是 "Al" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28903-28903 |
銤 是 "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 27546-27546 |
氩 是 "Ar" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27794-27794 |
砷 是 "As" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28730-28730 |
砹 是 "At" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28619-28619 |
金 是 "Au" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27319-27319 |
硼 是 "B" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28191-28191 |
钡 是 "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 27303-27303 |
铍 是 "Be" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28695-28695 |
铋 是 "Bi" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28937-28937 |
锫 是 "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 27825-27825 |
溴 是 "Br" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27338-27338 |
碳 是 "C" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27577-27577 |
钙 是 "Ca" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28049-28049 |
镉 是 "Cd" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28227-28227 |
铈 是 "Ce" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28954-28954 |
锎 是 "Cf" 的 conventional 简称 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27529-27529 |
氯 是 "Cl" 的 conventional 简称 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |