No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 35-43 | |
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. | Merge.kif 12270-12270 | 子類 Damaging and InternalChange |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 220-220 | 子類 破壞 and Damaging |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10427-10427 | 子類 Injuring and Damaging |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12276-12276 | 子類 Destruction and Damaging |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12498-12498 | 子類 Breaking and Damaging |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2715-2715 | 子類 森林破壞 and Damaging |