| PeaceState(peace state) | | peace |
| appearance as argument number 1 |
|
|
| (contraryAttribute PeaceState WarState) | MilitaryProcesses.kif 1498-1498 | Peace state is the opposite of war state |
| (documentation PeaceState EnglishLanguage "WN: the state prevailing during the absence of war.") | MilitaryProcesses.kif 1491-1491 | Peace state is the opposite of war state |
| (instance PeaceState SubjectiveAssessmentAttribute) | MilitaryProcesses.kif 1490-1490 | Peace state is an instance of subjective assessment attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PeaceState "和平国家") | domainEnglishFormat.kif 44959-44959 | |
| (termFormat ChineseTraditionalLanguage PeaceState "和平國家") | domainEnglishFormat.kif 44958-44958 | |
| (termFormat EnglishLanguage PeaceState "at peace") | MilitaryProcesses.kif 2967-2967 | |
| (termFormat EnglishLanguage PeaceState "peace state") | domainEnglishFormat.kif 44957-44957 |
| antecedent |
|
|
| (=> (and (attribute ?MILITARY PeaceState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense)) |
MilitaryPersons.kif 472-477 |
|
|
|
|