| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1160-1160 | Gun e' uma sub-classe de Arma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1161-1161 | Gun e' uma sub-classe de ProjectileLauncher |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1566-1566 | AutomaticGun e' uma sub-classe de Gun |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1599-1599 | ArtilleryGun e' uma sub-classe de Gun |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1603-1603 | Firearm e' uma sub-classe de Gun |
|
|