Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WarState
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 instance WarState and SubjectiveAssessmentAttribute

appearance as argument number 2
-------------------------


(contraryAttribute PeaceState WarState) MilitaryProcesses.kif 1479-1479 contraryAttribute PeaceState and WarState
(termFormat ChineseLanguage WarState "战争状态") domainEnglishFormat.kif 62185-62185 termFormat ChineseLanguage, WarState and "战争状态"
(termFormat ChineseTraditionalLanguage WarState "戰爭狀態") domainEnglishFormat.kif 62184-62184 termFormat ChineseTraditionalLanguage, WarState and "戰爭狀態"
(termFormat EnglishLanguage WarState "at war") MilitaryProcesses.kif 2754-2754 termFormat EnglishLanguage, WarState and "at war"
(termFormat EnglishLanguage WarState "war state") domainEnglishFormat.kif 62183-62183 termFormat EnglishLanguage, WarState and "war state"

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners