| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10817-10817 | 子類 RegulatoryProcess and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 867-867 | 子類 懲罰 and RegulatoryProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13903-13903 | 子類 執法 and RegulatoryProcess |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 383-383 | 子類 交易授權 and RegulatoryProcess |
|
|