Pistol(pistol) | Saturday_night_special, Verey_pistol, Very_pistol, automatic, automatic_pistol, derringer, forty-five, gat, handgun, horse-pistol, horse_pistol, peacekeeper, pistol, rod, semiautomatic, semiautomatic_pistol, shooting_iron, side_arm, zip_gun |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1613-1614 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 670-670 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1612-1612 | Pistol is a subclass of firearm |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1616-1616 | Revolver gun is a subclass of pistol |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45936-45936 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45935-45935 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45934-45934 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1604-1604 | Firearm is exhaustively partitioned into rifle and pistol |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1658-1664 |
|