ExplosiveMine
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17885-17887 | |
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 17883-17883 | Explosive mine is a subclass of explosive device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17884-17884 | 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 |
|