subclass

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25546-25546 AMFMAlarmClockAlarmClocksubclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25547-25547 AMFMAlarmClock无线电接收器subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 293-293 AM广播电台广播电台subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 236-236 AM无线电系统无线电系统subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3169-3169 AOCnumber符号串subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1575-1575 APC装甲车subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1573-1573 APC陆地车辆subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1571-1571 APC军车subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1572-1572 APC乘用车subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1574-1574 APC动力车辆subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3583-3583 自动提款机固定人工制品subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3659-3659 ATM插槽subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 4815-4815 ATVTireTiresubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2169-2169 影/音控制传输协议电脑程序subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6412-6412 AVPUStatus关联属性subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 1988-1988 AbaloneMeatMolluskMeatsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4945-4945 AbataceptImmunosupressantsubclass
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 527-527 阿巴亚披风subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1212-1212 僧院宗教机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12817-12817 Abdomen动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. arteries.kif 1272-1272 AbdominalAorta动脉subclass
No TPTP formula. May not be expressible in strict first order. Muscles.kif 135-135 AbducensNerveCNVINervesubclass
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1608-1608 AbductorDigitiMinimiMuscle肌肉subclass
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2127-2127 AbductorHallucisMuscle肌肉subclass
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1581-1581 AbductorPollicisBrevisMuscle肌肉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