| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10817-10817 | 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 13903-13903 | 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 |
|
|