![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13859-13859 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13858-13858 | 犯罪行为 是 有意图过程 的 subclass |
appearance as argument number 2 |
![]() |
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 13870-13870 | 政治犯罪 是 犯罪行为 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24099-24099 | 性侵 是 犯罪行为 的 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 18579-18579 | 偷窃行为 是 犯罪行为 的 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. | domainEnglishFormat.kif 17838-17838 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17837-17837 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17836-17836 |
appearance as argument number 3 |
![]() |
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 259-259 | victim 的 1 数量 是 犯罪行为 的 instance |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13861-13868 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Justice.kif 87-96 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16099-16105 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16134-16139 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14937-14942 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18420-18441 |
![]() |
![]() |