No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13901-13901 | LawEnforcement e' uma sub-classe de Processo Politico |
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. | Mid-level-ontology.kif 23464-23464 | PlacingUnderArrest e' uma sub-classe de LawEnforcement |
![]() |