No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1170-1170 |
子類 AAM and 空襲導彈 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1169-1169 |
子類 AAM and 空中發射導彈 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1171-1171 |
子類 AAM and 導彈 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1647-1647 |
子類 AAV and 兩棲車輛 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1646-1646 |
子類 AAV and 軍車 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1648-1648 |
子類 AAV and 乘用車 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1649-1649 |
子類 AAV and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 778-778 |
子類 ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve and Nerve |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26355-26355 |
子類 ACPowerSource and 能量源 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3293-3293 |
子類 ADHD and PsychologicalDysfunction |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1123-1123 |
子類 AG m and 空中發射導彈 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1124-1124 |
子類 AG m and 地面攻擊導彈 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1203-1203 |
子類 AG m114 and AG m |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1205-1205 |
子類 AG m114 and 反裝甲武器 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1204-1204 |
子類 AG m114 and 束騎導彈 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1136-1136 |
子類 AG m65 and AG m |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1138-1138 |
子類 AG m65 and 反裝甲武器 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1137-1137 |
子類 AG m65 and 紅外導彈 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1889-1889 |
子類 A h1 and 直升機 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1890-1890 |
子類 A h1 and 軍車 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1177-1177 |
子類 AI m9 and AAM |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1178-1178 |
子類 AI m9 and 紅外導彈 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2130-2130 |
子類 AMEV and 救護車 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2129-2129 |
子類 AMEV and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2128-2128 |
子類 AMEV and 軍車 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |