| Gun(枪)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1163-1163 | |
| 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 1162-1162 | 枪 详尽无遗地 partition 成 火炮枪 和 火器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1161-1161 | 枪 是 抛射物发射器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1160-1160 | 枪 是 武器 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1599-1599 | 火炮枪 是 枪 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1566-1566 | 自动枪 是 枪 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1603-1603 | 火器 是 枪 的 subclass |
| 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 1365-1365 | 枪扳机 typically 是 枪 的 part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1366-1366 | 枪 typically 有 part 枪扳机 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 211-211 | 口径 的 1 数量 是 枪 的 subclass |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1235-1247 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1417-1436 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1395-1413 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1165-1167 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1184-1192 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1228-1233 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1169-1176 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1442-1447 |
|
|
|