|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1535-1535 | 子類 AbductorPollicisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1590-1590 | 子類 AbductorPollicisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14936-14936 | 子類 異常的解剖結構 and AnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1882-1882 | 子類 退出 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21491-21491 | 子類 中止 and Removing |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 955-955 | 子類 在線以上 and 聯合出版物 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 438-438 | 子類 abrin毒素 and Protein |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 437-437 | 子類 abrin毒素 and 毒素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1677-1677 | 子類 AbsenceSeizure and Seizure |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2059-2059 | 子類 Absolut and Vodka |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1434-1434 | 子類 絕對高度計 and 高度表 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1391-1391 | 子類 絕對的啞彈 and 核武器 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1363-1363 | 子類 絕對過濾器 and 過濾 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | 子類 Abstract and Entity |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1611-1611 | 子類 抽象級別屬性 and 時間要求屬性 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16510-16510 | 子類 學位 and Certificate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17139-17139 | 子類 加速 and Increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17138-17138 | 子類 加速 and 易位 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 628-628 | 子類 Accelerometer and 電器 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 627-627 | 子類 Accelerometer and 感測器 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2663-2663 | 子類 AccessingWebPage and NetworkCommunication |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 607-607 | 子類 AccessoryMeningealArtery and ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 589-589 | 子類 AccessoryNerve and Nerve |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1654-1654 | 子類 AccompanyingArteryOfIschiadicNerve and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4539-4539 | 子類 Account and 協議 |
| 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