WarState - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WarState

WarState(war state)

state_of_war, war

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	War state is an instance of subjective assessment attribute

appearance as argument number 2

(contraryAttribute PeaceState WarState)	MilitaryProcesses.kif 1498-1498	Peace state is the opposite of war state
(termFormat ChineseLanguage WarState "战争状态")	domainEnglishFormat.kif 62289-62289	Peace state is the opposite of war state
(termFormat ChineseTraditionalLanguage WarState "戰爭狀態")	domainEnglishFormat.kif 62288-62288	Peace state is the opposite of war state
(termFormat EnglishLanguage WarState "at war")	MilitaryProcesses.kif 2988-2988	Peace state is the opposite of war state
(termFormat EnglishLanguage WarState "war state")	domainEnglishFormat.kif 62287-62287	Peace state is the opposite of war state

antecedent

(=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President))	MilitaryPersons.kif 473-478	If war state is an attribute of an organization and the organization is an instance of military organization and a position is a leader position of the organization, then the organization is subordinate position the position for president
(=> (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	If a collection is an instance of military force and an agent is an instance of human and a process is an instance of imprisoning and the agent is a member of the collection and another agent is an agent of the process and the agent is a patient of the process and the other agent and the agent are enemies of each other and the process is located at an object and war state is an attribute of the object, then prisoner of war is an attribute of the agent

consequent

(=> (and (instance ?WAR War) (agent ?WAR ?A)) (holdsDuring (WhenFn ?WAR) (attribute ?A WarState)))	MilitaryProcesses.kif 1502-1507	If a process is an instance of war and an agent is an agent of the process, then war state is an attribute of the agent holds during the time of existence of the process
(=> (holdsDuring ?T1 (and (attribute ?P CivilianInternee) (located ?P ?LOC))) (holdsDuring ?T1 (attribute ?LOC WarState)))	MilitaryPersons.kif 311-317	If civilian internee is an attribute of an entity and the entity is located at another entity holds during a time position, then war state is an attribute of the other entity holds during the time position
(=> (holdsDuring ?T1 (and (attribute ?P PrisonerOfWar) (located ?P ?LOC))) (holdsDuring ?T1 (attribute ?LOC WarState)))	MilitaryPersons.kif 274-280	If prisoner of war is an attribute of an entity and the entity is located at another entity holds during a time position, then war state is an attribute of the other entity holds during the time position

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners