|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3220-3220 | 气候变化- 京都协议 是 "Climate Change Kyoto Protocol" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3212-3212 | 气候变化公约 是 "Climate Change" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28920-28920 | 锔 是 "Cm" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27697-27697 | 钴 是 "Co" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2978-2978 | 国家联合体 是 "Commonwealth" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27651-27651 | 铬 是 "Cr" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28165-28165 | 铯 是 "Cs" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27728-27728 | 铜 是 "Cu" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3227-3227 | 荒漠化公约 是 "Desertification" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28375-28375 | 镝 是 "Dy" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3234-3234 | 濒危物种公约 是 "EndangeredSpecies" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3044-3044 | 协约理事会 是 "Entente" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3242-3242 | 环境修改公约 是 "Environmental Modification" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28421-28421 | 铒 是 "Er" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28972-28972 | 锿 是 "Es" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28327-28327 | 铕 是 "Eu" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27394-27394 | 氟 是 "F" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27680-27680 | 铁 是 "Fe" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28992-28992 | 镄 是 "Fm" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28765-28765 | 钫 是 "Fr" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27760-27760 | 镓 是 "Ga" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28343-28343 | 钆 是 "Gd" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27778-27778 | 锗 是 "Ge" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27257-27257 | 氢 是 "H" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3250-3250 | 危险废物公约 是 "Hazardous Wastes" 的 conventional 简称 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners