![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation SecurityUnit EnglishLanguage "The Organization that is charged with ensuring the security of members of the overall Organization and the property of the Organization.") | Mid-level-ontology.kif 8522-8524 | |
(subclass SecurityUnit Organization) | Mid-level-ontology.kif 8521-8521 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage SecurityUnit "安全部门") | domainEnglishFormat.kif 51957-51957 | |
(termFormat ChineseTraditionalLanguage SecurityUnit "安全部門") | domainEnglishFormat.kif 51956-51956 | |
(termFormat EnglishLanguage SecurityUnit "security unit") | domainEnglishFormat.kif 51955-51955 |
antecedent |
![]() |
(=> (and (instance ?UNIT SecurityUnit) (subOrganization ?UNIT ?ORG)) (holdsObligation (exists (?MAINTAIN) (and (instance ?MAINTAIN Maintaining) (agent ?MAINTAIN ?UNIT) (patient ?MAINTAIN ?ORG))) ?UNIT)) |
Mid-level-ontology.kif 8526-8536 | |
(=> (instance ?X SecurityUnit) (modalAttribute (exists (?S) (and (instance ?S SurveillanceSystem) (inScopeOfInterest ?X ?S))) Likely)) |
Mid-level-ontology.kif 27001-27007 |
![]() |
![]() |