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 |
|