No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2592-2592 | Rocket e' uma sub-classe de Aircraft |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17718-17718 | Rocket e' uma sub-classe de Spacecraft |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22073-22073 | 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 |
![]() |