No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13870-13870 | PoliticalCrime est une sous-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13871-13871 | PoliticalCrime est une sous-classe de processus polotique |