| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10839-10839 | Processo Regulatorio e' uma sub-classe de Guiar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 867-867 | Punishing e' uma sub-classe de Processo Regulatorio |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13902-13902 | LawEnforcement e' uma sub-classe de Processo Regulatorio |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 383-383 | AuthorizationOfTransaction e' uma sub-classe de Processo Regulatorio |
|
|