No TPTP formula. May not be expressible in strict first order. | Merge.kif 10839-10839 | Regulatory process is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 867-867 | Punishing is a subclass of regulatory process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13902-13902 | Law enforcement is a subclass of regulatory process |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 383-383 | Authorization of transaction is a subclass of regulatory process |