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 1493-1495 | |
(instance WarState SubjectiveAssessmentAttribute) | MilitaryProcesses.kif 1492-1492 | WarState est une instance de attribut subjectif |
appearance as argument number 2 |
![]() |
(contraryAttribute PeaceState WarState) | MilitaryProcesses.kif 1498-1498 | PeaceState est l'oppos� de WarState |
(termFormat ChineseLanguage WarState "战争状态") | domainEnglishFormat.kif 62235-62235 | PeaceState est l'oppos� de WarState |
(termFormat ChineseTraditionalLanguage WarState "戰爭狀態") | domainEnglishFormat.kif 62234-62234 | PeaceState est l'oppos� de WarState |
(termFormat EnglishLanguage WarState "at war") | MilitaryProcesses.kif 2971-2971 | PeaceState est l'oppos� de WarState |
(termFormat EnglishLanguage WarState "war state") | domainEnglishFormat.kif 62233-62233 | PeaceState est l'oppos� de WarState |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?WAR War) (agent ?WAR ?A)) (holdsDuring (WhenFn ?WAR) (attribute ?A WarState))) |
MilitaryProcesses.kif 1502-1507 | |
(=> (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 |
|
![]() |
![]() |