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 |