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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlcoholicBeverage

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 1461-1463
(instance WarState SubjectiveAssessmentAttribute) MilitaryProcesses.kif 1460-1460

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


(contraryAttribute PeaceState WarState) MilitaryProcesses.kif 1466-1466
(termFormat EnglishLanguage WarState "at war") MilitaryProcesses.kif 2741-2741
(termFormat EnglishLanguage WarState "war state") domainEnglishFormat.kif 10798-10798

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 1470-1475
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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