ExplosiveMine(explosive mine) | booby_trap, floating_mine, ground-emplaced_mine, land_mine, marine_mine, mine |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17858-17860 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1105-1105 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17856-17856 | Explosive mine is a subclass of explosive device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17857-17857 | Explosive mine is a subclass of weapon |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22858-22858 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22857-22857 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22856-22856 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Military.kif 676-685 |
|