CriminalAction
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13887-13887 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13886-13886 | CriminalAction e' uma sub-classe de Processo Intencional |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18330-18330 | Defrauding e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18472-18472 | Murder e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13898-13898 | PoliticalCrime e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24157-24157 | Raping e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7734-7734 | Smuggling e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18607-18607 | Stealing e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18313-18313 | Trespassing e' uma sub-classe de CriminalAction |
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 | O argumento numero 1 de perpetrator e' uma instancia de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Law.kif 259-259 | O argumento numero 1 de victim e' uma instancia de CriminalAction |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13889-13896 |
|
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 16127-16133 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16162-16167 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14965-14970 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18448-18469 |
|