Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  MilitarilySecure
|
|
|
| appearance as argument number 1 |
|
|
| (instance MilitarilySecure RelationalAttribute) | MilitaryProcesses.kif 2863-2863 | Militarily secure is an instance of relational attribute |
| (documentation MilitarilySecure EnglishLanguage "MilitarilySecure is a RelationalAttribute. A Facility that is MilitarilySecure is owned by a MilitaryForce. There does not exist an agent that is an Enemy of the military force to launch an attack in which the destintation is the the facility and there is no enemy located at the facility, except for prisoners who were captured from the enemy.") | MilitaryProcesses.kif 2864-2869 | Militarily secure is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept BlueforceControlled MilitarilySecure) | MilitaryProcesses.kif 2870-2870 | Blue force controlled is internally related to militarily secure |
| (relatedInternalConcept Ally MilitarilySecure) | MilitaryProcesses.kif 2871-2871 | Ally is internally related to militarily secure |
| (termFormat EnglishLanguage MilitarilySecure "militarily secure") | MilitaryProcesses.kif 2930-2930 | Ally is internally related to militarily secure |
| antecedent |
|
|
| (=> (and (instance ?F Facility) (holdsDuring ?T (attribute ?F MilitarilySecure)) (instance ?MF MilitaryForce) (possesses ?MF ?F)) (not (exists (?A ?E) (and (instance ?A Attack) (during ?T (WhenFn ?A)) (destination ?A ?F) (agent ?A ?E) (enemy ?MF ?E))))) |
MilitaryProcesses.kif 2873-2887 | If X is an instance of Facility, militarily secure is an attribute of X holds during Y, Z is an instance of military force, and Z possesses X, then All of the following hold: (1) there don't exist W (2) V such that W is an instance of attack (3) Y takes place during the time of existence of W (4) W ends up at X (5) V is an agent of W (6) Z (7) V are enemies of each other |
| (=> (and (instance ?F Facility) (holdsDuring ?T (attribute ?F MilitarilySecure)) (instance ?MF MilitaryForce) (possesses ?MF ?F)) (not (exists (?E) (and (enemy ?MF ?E) (holdsDuring ?T (and (located ?E ?F) (not (attribute ?E PrisonerOfWar)))))))) |
MilitaryProcesses.kif 2889-2904 | If X is an instance of Facility, militarily secure is an attribute of X holds during Y, Z is an instance of military force, and Z possesses X, then there doesn't exist W such that Z, W are enemies of each other, W is located at X, and prisoner of war is not an attribute of W holds during Y |
| consequent |
|
|
| (=> (instance ?SA SecureAirfield) (exists (?A) (and (instance ?A Airport) (attribute ?A MilitarilySecure)))) |
MilitaryProcesses.kif 2910-2915 | If X is an instance of secure airfield, then there exists Y such that Y is an instance of airport and militarily secure is an attribute of Y |
|