| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13901-13901 | LawEnforcement est une sous-classe de processus polotique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13902-13902 | LawEnforcement est une sous-classe de processus de r�gulation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23464-23464 | PlacingUnderArrest est une sous-classe de LawEnforcement |
|
|