Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PeaceState(peace state) |  | peace |
| appearance as argument number 1 |
|
|
| (instance PeaceState SubjectiveAssessmentAttribute) | MilitaryProcesses.kif 1512-1512 | Peace state is an instance of subjective assessment attribute |
| (documentation PeaceState EnglishLanguage "WN: the state prevailing during the absence of war.") | MilitaryProcesses.kif 1513-1513 | Peace state is an instance of subjective assessment attribute |
| (contraryAttribute PeaceState WarState) | MilitaryProcesses.kif 1520-1520 | Peace state is the opposite of war state |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?MILITARY PeaceState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense)) |
MilitaryPersons.kif 475-480 | If peace 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 secretary of defense |
|