![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1553-1553 | |
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 1552-1552 | Gun is exhaustively partitioned into artillery gun and firearm |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1551-1551 | Gun is a subclass of projectile launcher |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1550-1550 | 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 2009-2009 | Artillery gun is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1976-1976 | Automatic gun is a subclass of gun |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2013-2013 | Firearm is a subclass of gun |
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. | domainEnglishFormat.kif 27075-27075 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27074-27074 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1750-1750 | 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 1751-1751 | 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 1625-1637 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1798-1813 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1780-1794 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1555-1557 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1574-1582 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1618-1623 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1559-1566 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1819-1824 |
|
![]() |
![]() |