No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13902-13902 | Law enforcement is a subclass of political process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13903-13903 | Law enforcement is a subclass of regulatory process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23465-23465 | Placing under arrest is a subclass of law enforcement |