| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2625-2625 | Rocket e' uma sub-classe de Aircraft |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17746-17746 | Rocket e' uma sub-classe de Spacecraft |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22126-22126 | Rocket e' uma sub-classe de Projectile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1301-1301 | RPG e' uma sub-classe de Rocket |
|
|