Gun(gun) | Thompson_submachine_gun, Tommy_gun, Uzi, air_gun, air_rifle, airgun, breechloader, gas_gun, gun, gun_pendulum, light_arm, minute_gun, set_gun, spring_gun, submachine_gun |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1156-1156 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 106-106 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1155-1155 | Gun is exhaustively partitioned into artillery gun and firearm |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1154-1154 | Gun is a subclass of projectile launcher |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1153-1153 | Gun is a subclass of weapon |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1592-1592 | Artillery gun is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1559-1559 | Automatic gun is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1596-1596 | Firearm is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27078-27078 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27077-27077 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27076-27076 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1358-1358 | A gun trigger is typically a part of a gun |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1359-1359 | A gun typically has a part gun trigger |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 211-211 | The number 1 argument of caliber is a subclass of gun |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1228-1240 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1410-1429 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1388-1406 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1158-1160 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1177-1185 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1221-1226 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1162-1169 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1435-1440 |
|