Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SecurityUnit
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SecurityUnit Organization) | Mid-level-ontology.kif 9881-9881 | Security unit is a subclass of organization |
| (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 9882-9884 | Security unit is a subclass of organization |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?UNIT SecurityUnit) (subOrganization ?UNIT ?ORG)) (holdsObligation ?UNIT (exists (?MAINTAIN) (and (instance ?MAINTAIN Maintaining) (agent ?MAINTAIN ?UNIT) (patient ?MAINTAIN ?ORG))))) |
Mid-level-ontology.kif 9886-9895 | If X is an instance of security unit and X is a part of the organization Y, then X is obliged to perform tasks of type there exists Z such that Z is an instance of maintaining, X is an agent of Z, and Y is a patient of Z |
| (=> (instance ?X SecurityUnit) (modalAttribute (exists (?S) (and (instance ?S SurveillanceSystem) (inScopeOfInterest ?X ?S))) Likely)) |
Mid-level-ontology.kif 29595-29601 | If X is an instance of security unit, then the statement there exists Y such that Y is an instance of surveillance system and X is interested in Y has the modal force of likely |
|