| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1820-1822 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2179-2182 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 438-441 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2177-2177 | 单值关系 是 可继承的关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2176-2176 | 单值关系 是 关系 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24472-24472 | StringConcatenateFn 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24445-24445 | StringLengthFn 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24415-24415 | SubstringFn 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1453-1453 | 绝对高度 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7516-7516 | 年龄 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7699-7699 | 海拔 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17945-17945 | 近似直径 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5963-5963 | 弧衡量 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5359-5359 | 平均 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16893-16893 | 结论 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2875-2875 | 货币类型 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8543-8543 | 日期 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7726-7726 | 深度 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7661-7661 | 圆周 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7676-7676 | 距离 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1385-1385 | 有效范围 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21706-21706 | 电子数 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16418-16418 | 父亲 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 33-33 | 病毒的遗传基质 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17972-17972 | 几何距离 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 296-296 | 有维度 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 303-303 | 有变数 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6698-6698 | 人的能力 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11952-11952 | 智商 是 单值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 22-22 | 入侵病毒 是 单值关系 的 instance |
| 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