Spear
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1148-1149 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1309-1309 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1147-1147 | Spear is a subclass of weapon |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54486-54486 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54485-54485 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54484-54484 |