No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2592-2592 | Rocket est une sous-classe de Aircraft |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17719-17719 | Rocket est une sous-classe de Spacecraft |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22074-22074 | Rocket est une sous-classe de Projectile |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1301-1301 | RPG est une sous-classe de Rocket |