|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1535-1535 | AbductorPollicisLongusMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1590-1590 | AbductorPollicisMuscle 是 肌肉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14936-14936 | 异常的解剖结构 是 解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1882-1882 | 退出 是 电脑程序 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21491-21491 | 中止 是 移除 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 955-955 | 在线以上 是 联合出版物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 438-438 | Abrin毒素 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 437-437 | Abrin毒素 是 毒素 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1677-1677 | AbsenceSeizure 是 Seizure 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2059-2059 | Absolut 是 Vodka 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1434-1434 | 绝对高度计 是 高度表 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1391-1391 | 绝对的哑弹 是 核武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1363-1363 | 绝对过滤器 是 过滤 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | 抽象体 是 实体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1611-1611 | 抽象级别属性 是 时间要求属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16510-16510 | 学位 是 证书 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17139-17139 | 加速 是 增加 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17138-17138 | 加速 是 易位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 628-628 | Accelerometer 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 627-627 | Accelerometer 是 感测器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2663-2663 | AccessingWebPage 是 NetworkCommunication 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 607-607 | AccessoryMeningealArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 589-589 | AccessoryNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1654-1654 | AccompanyingArteryOfIschiadicNerve 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4539-4539 | Account 是 协议 的 subclass |
| 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