| 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. | Mid-level-ontology.kif 13859-13859 | 犯罪行为 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7707-7707 | 走私 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13871-13871 | 政治犯罪 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18286-18286 | 擅闯 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18303-18303 | Defrauding 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18445-18445 | 谋杀 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18580-18580 | 偷窃行为 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24100-24100 | 性侵 是 犯罪行为 的 subclass |
|
|