![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1229-1229 | |
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 1228-1228 | Gun is exhaustively partitioned into artillery gun and firearm |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1227-1227 | Gun is a subclass of projectile launcher |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1226-1226 | 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 1816-1816 | Artillery gun is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1783-1783 | Automatic gun is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1850-1850 | Firearm is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27089-27089 | Firearm is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27088-27088 | Firearm is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27087-27087 | Firearm is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1582-1582 | 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 1583-1583 | A gun typically has a part gun trigger |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1250-1258 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1294-1299 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1235-1242 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1659-1664 |
|
![]() |
![]() |