No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18420-18441 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13858-13858 | CriminalAction e' uma sub-classe de Processo Intencional |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7706-7706 | Smuggling e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13870-13870 | PoliticalCrime e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18285-18285 | Trespassing e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18302-18302 | Defrauding e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18444-18444 | Murder e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18579-18579 | Stealing e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24099-24099 | Raping e' uma sub-classe de CriminalAction |