No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18578-18578 | 偷窃行为 是 单方面获得 的 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 18595-18595 | 劫财 是 偷窃行为 的 subclass |
![]() |