| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18420-18441 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13858-13858 | 子類 犯罪行為 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7706-7706 | 子類 走私 and 犯罪行為 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13870-13870 | 子類 政治犯罪 and 犯罪行為 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18285-18285 | 子類 擅闖 and 犯罪行為 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18302-18302 | 子類 Defrauding and 犯罪行為 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18444-18444 | 子類 謀殺 and 犯罪行為 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18579-18579 | 子類 偷竊行為 and 犯罪行為 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24099-24099 | 子類 性侵 and 犯罪行為 |
|
|