Damaging(damaging) |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1079-1088 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1278-1288 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2120-2126 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2070-2077 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 659-667 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 874-882 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16028-16030 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16032-16039 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18421-18442 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7189-7197 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2519-2534 |
|