| SecurityUnit(security unit) | | patrol, security, security_department |
| 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 8740-8742 | |
| (subclass SecurityUnit Organization) | Mid-level-ontology.kif 8739-8739 | Security unit is a subclass of organization |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SecurityUnit "安全部门") | domainEnglishFormat.kif 51997-51997 | |
| (termFormat ChineseTraditionalLanguage SecurityUnit "安全部門") | domainEnglishFormat.kif 51996-51996 | |
| (termFormat EnglishLanguage SecurityUnit "security unit") | domainEnglishFormat.kif 51995-51995 |
| 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 8744-8754 |
|
| (=> (instance ?X SecurityUnit) (modalAttribute (exists (?S) (and (instance ?S SurveillanceSystem) (inScopeOfInterest ?X ?S))) Likely)) |
Mid-level-ontology.kif 27265-27271 |
|
|
|
|