No TPTP formula. May not be expressible in strict first order. |
Law.kif 276-278 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 272-272 |
perpetrator 的 1 数量 是 犯罪行为 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 270-270 |
perpetrator 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 271-271 |
perpetrator 是 主事 的 subrelation |