| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1106-1106 | Projectile e' uma sub-classe de Arma |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 190-190 | Grenade e' uma sub-classe de Projectile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1175-1175 | Bullet e' uma sub-classe de Projectile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1187-1187 | BulletCartridge e' uma sub-classe de Projectile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1662-1662 | ArrowProjectile e' uma sub-classe de Projectile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17750-17750 | Missile e' uma sub-classe de Projectile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22126-22126 | Rocket e' uma sub-classe de Projectile |
|
|