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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Battle

Sigma KEE - Battle
Battle

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


(documentation Battle ChineseLanguage "这是在战争爆发时,两个或以上军事单位之间的 ViolentContest。注:这并不包括打仗的隐喻意义,那就是只意味着某种斗争,这个意义应该用 Contest,这个 更为概括的概念来表示。") Merge.kif 13348-13350
(documentation Battle EnglishLanguage "A ViolentContest between two or more military units within the context of a war. Note that this does not cover the metaphorical sense of 'battle', which simply means a struggle of some sort. This sense should be represented with the more general concept of Contest.") Merge.kif 13343-13347
(externalImage Battle "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Hohenfriedeberg.Attack.of.Prussian.Infantry.1745.jpg") pictureList.kif 4543-4543
(subclass Battle ViolentContest) Merge.kif 13342-13342

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


(termFormat ChineseLanguage Battle "战斗") chinese_format.kif 1211-1211
(termFormat EnglishLanguage Battle "battle") english_format.kif 1710-1710
(termFormat JapaneseLanguage Battle "戦い") english_format.kif 1711-1711

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


(=>
    (and
        (instance ?C CavalryUnit)
        (instance ?B Battle)
        (agent ?B ?C))
    (exists (?P ?V ?T)
        (and
            (attribute ?P Soldier)
            (member ?P ?C)
            (instance ?T Transportation)
            (agent ?T ?P)
            (instance ?V Vehicle)
            (patient ?T ?V)
            (during ?T ?B))))
Mid-level-ontology.kif 8111-8124
(=>
    (instance ?B Battle)
    (exists (?U1 ?U2)
        (and
            (instance ?U1 MilitaryUnit)
            (instance ?U2 MilitaryUnit)
            (not
                (equal ?U1 ?U2))
            (agent ?B ?U1)
            (agent ?B ?U2))))
Mid-level-ontology.kif 8083-8092
(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))
Merge.kif 13359-13364
(=>
    (instance ?BATTLE Battle)
    (exists (?WAR)
        (and
            (instance ?WAR War)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 13352-13357

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


(=>
    (holdsDuring ?TIME
        (instance ?AREA MilitaryFront))
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (eventLocated ?BATTLE ?AREA)
            (temporalPart ?TIME ?BATTLE))))
Mid-level-ontology.kif 8690-8696
(=>
    (instance ?M MilitaryManeuver)
    (exists (?B)
        (and
            (instance ?B Battle)
            (subProcess ?M ?B))))
Mid-level-ontology.kif 19587-19592
(=>
    (instance ?WAR War)
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 13322-13327


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