| 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 | 犯罪行为 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7706-7706 | 走私 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13870-13870 | 政治犯罪 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18285-18285 | 擅闯 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18302-18302 | Defrauding 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18444-18444 | 谋杀 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18579-18579 | 偷窃行为 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24099-24099 | 性侵 是 犯罪行为 的 subclass |
|
|