|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25546-25546 | 子類 AMFMAlarmClock and AlarmClock |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25547-25547 | 子類 AMFMAlarmClock and 無線電接收器 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 293-293 | 子類 AM廣播電台 and 廣播電台 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 236-236 | 子類 AM無線電系統 and 無線電系統 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3169-3169 | 子類 AOCnumber and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1575-1575 | 子類 APC and 裝甲車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1573-1573 | 子類 APC and 陸地車輛 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1571-1571 | 子類 APC and 軍車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1572-1572 | 子類 APC and 乘用車 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1574-1574 | 子類 APC and 動力車輛 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3583 | 子類 自動提款機 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3659-3659 | 子類 ATM插槽 and HoleRegion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4815-4815 | 子類 ATVTire and Tire |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2169-2169 | 子類 影/音控制傳輸協議 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6412-6412 | 子類 AVPUStatus and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1988-1988 | 子類 AbaloneMeat and MolluskMeat |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4945-4945 | 子類 Abatacept and Immunosupressant |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 527-527 | 子類 阿巴亞 and 披風 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1212-1212 | 子類 僧院 and ReligiousOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12817-12817 | 子類 Abdomen and 動物解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1272-1272 | 子類 AbdominalAorta and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 135-135 | 子類 AbducensNerveCNVI and Nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1608-1608 | 子類 AbductorDigitiMinimiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2127-2127 | 子類 AbductorHallucisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1581-1581 | 子類 AbductorPollicisBrevisMuscle and Muscle |
| 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