| 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 18580-18580 | 偷窃行为 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18596-18596 | 劫财 是 偷窃行为 的 subclass |
|
|