subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25546-25546 | AMFMAlarmClock 是 AlarmClock 的 subclass |
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 | ATVTire 是 Tire 的 subclass |
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 | AbaloneMeat 是 MolluskMeat 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4945-4945 | Abatacept 是 Immunosupressant 的 subclass |
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 | AbducensNerveCNVI 是 Nerve 的 subclass |
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 |