|
|
   CriminalAction
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13860-13860 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13859-13859 | 犯罪行为 是 有意图过程 的 subclass |
| appearance as argument number 2 |
|
|
| 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 13871-13871 | 政治犯罪 是 犯罪行为 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24100-24100 | 性侵 是 犯罪行为 的 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 18580-18580 | 偷窃行为 是 犯罪行为 的 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. | 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 13862-13869 |
| 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 16100-16106 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16135-16140 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14938-14943 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18421-18442 |
|
|
|