Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WarState(war state) |  | state_of_war, war |
| appearance as argument number 1 |
|
|
| (instance WarState SubjectiveAssessmentAttribute) | MilitaryProcesses.kif 1514-1514 | War state is an instance of subjective assessment attribute |
| (documentation WarState EnglishLanguage "a legal state created by a declaration of war and ended by official declaration during which the international rules of war apply, war was declared in November but actual fighting did not begin until the following spring") | MilitaryProcesses.kif 1515-1517 | War state is an instance of subjective assessment attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute PeaceState WarState) | MilitaryProcesses.kif 1520-1520 | Peace state is the opposite of war state |
| (termFormat EnglishLanguage WarState "at war") | MilitaryProcesses.kif 3012-3012 | Peace state is the opposite of war state |
| (termFormat EnglishLanguage WarState "war state") | domainEnglishFormat.kif 62242-62242 | Peace state is the opposite of war state |
| (termFormat ChineseTraditionalLanguage WarState "戰爭狀態") | domainEnglishFormat.kif 62243-62243 | Peace state is the opposite of war state |
| (termFormat ChineseLanguage WarState "战争状态") | domainEnglishFormat.kif 62244-62244 | Peace state is the opposite of war state |
| antecedent |
|
|
| (=> (and (instance ?F MilitaryForce) (instance ?P Human) (instance ?I Imprisoning) (member ?P ?F) (agent ?I ?E) (patient ?I ?P) (enemy ?E ?P) (eventLocated ?I ?LOC) (attribute ?LOC WarState)) (attribute ?P PrisonerOfWar)) |
MilitaryPersons.kif 288-299 | If All of the following hold: (1) X is an instance of military force (2) Y is an instance of human (3) Z is an instance of imprisoning (4) Y is a member of X (5) W is an agent of Z (6) Y is a patient of Z (7) W and Y are enemies of each other (8) Z is located at V (9) war state is an attribute of V, then prisoner of war is an attribute of Y |
| (=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President)) |
MilitaryPersons.kif 487-492 | If war state is an attribute of X, X is an instance of military organization, and Y is a leader position of X, then X is subordinate position Y for president |
| consequent |
|
|
| (=> (holdsDuring ?T1 (and (attribute ?P PrisonerOfWar) (located ?P ?LOC))) (holdsDuring ?T1 (attribute ?LOC WarState))) |
MilitaryPersons.kif 277-283 | If prisoner of war is an attribute of X and X is located at Y holds during Z, then war state is an attribute of Y holds during Z |
| (=> (holdsDuring ?T1 (and (attribute ?P CivilianInternee) (located ?P ?LOC))) (holdsDuring ?T1 (attribute ?LOC WarState))) |
MilitaryPersons.kif 314-320 | If civilian internee is an attribute of X and X is located at Y holds during Z, then war state is an attribute of Y holds during Z |
| (=> (and (instance ?WAR War) (agent ?WAR ?A)) (holdsDuring (WhenFn ?WAR) (attribute ?A WarState))) |
MilitaryProcesses.kif 1524-1529 | If X is an instance of war and Y is an agent of X, then war state is an attribute of Y holds during the time of existence of X |
|