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 12397-12399
(subclass War ViolentContest) Merge.kif 12396-12396

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


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

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


(=>
    (and
        (instance ?WAR War)
        (agent ?WAR ?A))
    (holdsDuring
        (WhenFn ?WAR)
        (attribute ?A WarState)))
MilitaryProcesses.kif 1483-1488
(=>
    (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 12408-12419
(=>
    (instance ?WAR War)
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 12401-12406

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 8134-8142
(=>
    (instance ?BATTLE Battle)
    (exists (?WAR)
        (and
            (instance ?WAR War)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 12428-12433


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