| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27209-27212 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27214-27214 | 传统的短名称 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27215-27215 | 传统的短名称 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27207-27207 | 传统的短名称 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27216-27216 | 传统的短名称 是 命名 的 subrelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 548-548 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 547-547 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 546-546 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27221-27221 | 缩写 是 传统的短名称 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17106-17106 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17105-17105 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27227-27227 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17104-17104 |
| appearance as argument number 0 |
|
|
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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