No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1170-1170 |
AAM est une sous-classe de AirAttackMissile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1169-1169 |
AAM est une sous-classe de AirLaunchMissile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1171-1171 |
AAM est une sous-classe de GuidedMissile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1647-1647 |
AAV est une sous-classe de AmphibiousVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1646-1646 |
AAV est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1648-1648 |
AAV est une sous-classe de PassengerVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1649-1649 |
AAV est une sous-classe de PoweredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 778-778 |
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve est une sous-classe de Nerve |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26388-26388 |
ACPowerSource est une sous-classe de PowerSource |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3293-3293 |
ADHD est une sous-classe de dysfonctionement psychologique |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1123-1123 |
AGM est une sous-classe de AirLaunchMissile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1124-1124 |
AGM est une sous-classe de GroundAttackMissile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1203-1203 |
AGM114 est une sous-classe de AGM |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1205-1205 |
AGM114 est une sous-classe de AntiArmorWeapon |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1204-1204 |
AGM114 est une sous-classe de BeamRidingGMissile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1136-1136 |
AGM65 est une sous-classe de AGM |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1138-1138 |
AGM65 est une sous-classe de AntiArmorWeapon |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1137-1137 |
AGM65 est une sous-classe de InfraRedGMissile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1889-1889 |
AH1 est une sous-classe de Helicopter |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1890-1890 |
AH1 est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1177-1177 |
AIM9 est une sous-classe de AAM |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1178-1178 |
AIM9 est une sous-classe de InfraRedGMissile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2130-2130 |
AMEV est une sous-classe de Ambulance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2129-2129 |
AMEV est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2128-2128 |
AMEV est une sous-classe de MilitaryVehicle |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |