| WarState | |
| appearance as argument number 1 |
|
|
| (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 1474-1476 | |
| (instance WarState SubjectiveAssessmentAttribute) | MilitaryProcesses.kif 1473-1473 |
| appearance as argument number 2 |
|
|
| (contraryAttribute PeaceState WarState) | MilitaryProcesses.kif 1479-1479 | |
| (termFormat ChineseLanguage WarState "战争状态") | domainEnglishFormat.kif 62225-62225 | |
| (termFormat ChineseTraditionalLanguage WarState "戰爭狀態") | domainEnglishFormat.kif 62224-62224 | |
| (termFormat EnglishLanguage WarState "at war") | MilitaryProcesses.kif 2754-2754 | |
| (termFormat EnglishLanguage WarState "war state") | domainEnglishFormat.kif 62223-62223 |
| antecedent |
|
|
| (=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President)) |
MilitaryPersons.kif 473-478 | |
| (=> (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 285-296 |
| consequent |
|
|
| (=> (and (instance ?WAR War) (agent ?WAR ?A)) (holdsDuring (WhenFn ?WAR) (attribute ?A WarState))) |
MilitaryProcesses.kif 1483-1488 | |
| (=> (holdsDuring ?T1 (and (attribute ?P CivilianInternee) (located ?P ?LOC))) (holdsDuring ?T1 (attribute ?LOC WarState))) |
MilitaryPersons.kif 311-317 | |
| (=> (holdsDuring ?T1 (and (attribute ?P PrisonerOfWar) (located ?P ?LOC))) (holdsDuring ?T1 (attribute ?LOC WarState))) |
MilitaryPersons.kif 274-280 |
|
|
|