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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - War
War(guerre)

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 13481-13483
(subclass War ViolentContest) Merge.kif 13480-13480 Guerre est une sous-classe de affrontement violent

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


(subclass CivilWar War) Mid-level-ontology.kif 21259-21259 CivilWar est une sous-classe de guerre
(termFormat ChineseLanguage War "战争") chinese_format.kif 1210-1210 CivilWar est une sous-classe de guerre
(termFormat EnglishLanguage War "war") english_format.kif 1637-1637 CivilWar est une sous-classe de guerre
(termFormat FrenchLanguage War "guerre") french_format.kif 888-888 CivilWar est une sous-classe de guerre
(termFormat Hindi War "yuddha") terms-hindi.txt 421-421 CivilWar est une sous-classe de guerre
(termFormat ItalianLanguage War "Guerra") terms-it.txt 424-424 CivilWar est une sous-classe de guerre
(termFormat JapaneseLanguage War "戦争") japanese_format.kif 2572-2572 CivilWar est une sous-classe de guerre
(termFormat PortugueseLanguage War "Guerra") portuguese_format.kif 840-840 CivilWar est une sous-classe de guerre
(termFormat cb War "gubat") terms-cb.txt 426-426 CivilWar est une sous-classe de guerre
(termFormat cz War "war") terms-cz.txt 460-460 CivilWar est une sous-classe de guerre
(termFormat de War "Krieg") terms-de.txt 719-719 CivilWar est une sous-classe de guerre
(termFormat ro War "rãzboi") relations-ro.kif 909-909 CivilWar est une sous-classe de guerre
(termFormat tg War "digmaan") terms-tg.txt 425-425 CivilWar est une sous-classe de guerre

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 13492-13503
(=>
    (instance ?WAR War)
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 13485-13490

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 9633-9641
(=>
    (instance ?BATTLE Battle)
    (exists (?WAR)
        (and
            (instance ?WAR War)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 13512-13517


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