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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - War
War

appearance as argument number 1
-------------------------


(documentation War ChineseLanguage "这是一个由两个或以上 GeopoliticalArea 或 由 GeopoliticalArea 所组成的 Organization 之间的军事对抗。就如相应的定义指出,War 是由多场 Battle 所组成的。") chinese_format.kif 3291-3293
(documentation War EnglishLanguage "A military confrontation between two or more GeopoliticalAreas or Organizations whose members are GeopoliticalAreas. As the corresponding axiom specifies, a War is made up of Battles.") Merge.kif 13081-13083
(subclass War ViolentContest) Merge.kif 13080-13080

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


(subclass CivilWar War) Mid-level-ontology.kif 19038-19038
(termFormat ChineseLanguage War "战争") chinese_format.kif 1210-1210
(termFormat EnglishLanguage War "war") english_format.kif 1637-1637

antecedent
-------------------------


(=>
    (and
        (instance ?WAR War)
        (agent ?WAR ?A))
    (holdsDuring
        (WhenFn ?WAR)
        (attribute ?A WarState)))
MilitaryProcesses.kif 1502-1507
(=>
    (and
        (instance ?WAR War)
        (agent ?WAR ?AGENT))
    (or
        (instance ?AGENT GeopoliticalArea)
        (and
            (instance ?AGENT Organization)
            (forall (?MEMBER)
                (=>
                    (member ?MEMBER ?AGENT)
                    (instance ?MEMBER GeopoliticalArea))))))
Merge.kif 13092-13103
(=>
    (instance ?WAR War)
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 13085-13090

consequent
-------------------------


(=>
    (hostileForces ?U1 ?U2)
    (exists (?WAR ?A1 ?A2)
        (and
            (instance ?WAR War)
            (contestParticipant ?WAR ?A1)
            (contestParticipant ?WAR ?A2)
            (subOrganization ?U1
                (GovernmentFn ?A1))
            (subOrganization ?U2
                (GovernmentFn ?A2)))))
Mid-level-ontology.kif 8030-8038
(=>
    (instance ?BATTLE Battle)
    (exists (?WAR)
        (and
            (instance ?WAR War)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 13112-13117


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