No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1160-1160 | 枪 是 武器 的 subclass |
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 1566-1566 | 自动枪 是 枪 的 subclass |
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 1603-1603 | 火器 是 枪 的 subclass |