| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2397-2399 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6210-6213 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1078-1080 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6208-6208 | CompositeUnitOfMeasure 是 函数量 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | CompositeUnitOfMeasure 是 测量单位 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6720-6720 | 安培 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7040-7040 | 贝克勒尔 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 238-238 | 每秒位数 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7349-7349 | 英国热量单位 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7341-7341 | 卡路里 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6759-6759 | 坎德拉 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6912-6912 | 库仑 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7155-7155 | 电子伏特 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6937-6937 | 法拉 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7054-7054 | 戈瑞 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6990-6990 | 亨利 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6898-6898 | 马力 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 254-254 | InstructionsPerSecond 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6879-6879 | 焦耳 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2000-2000 | 千瓦时 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3924-3924 | 结速度单位 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7018-7018 | 流明 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7028-7028 | 勒克司 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 812-812 | 每公斤微克 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1700-1700 | 英里每小時 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6861-6861 | 牛顿 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6948-6948 | 欧姆 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 246-246 | 每秒数据包 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6870-6870 | 帕斯卡 是 CompositeUnitOfMeasure 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7329-7329 | 磅力 是 CompositeUnitOfMeasure 的 instance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13536-13545 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13566-13575 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13577-13586 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13505-13514 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6455-6459 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6225-6229 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1718-1736 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6455-6459 |
|
|
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