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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Battle
Battle(Battaglia)

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


(documentation Battle ChineseLanguage "这是在战争爆发时，两个或以上军事单位之间的 ViolentContest。注：这并不包括打仗的隐喻意义，那就是只意味着某种斗争，这个意义应该用 Contest，这个 更为概括的概念来表示。") chinese_format.kif 3294-3296
(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 13398-13402
(externalImage Battle "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Hohenfriedeberg.Attack.of.Prussian.Infantry.1745.jpg") pictureList.kif 4542-4542
(subclass Battle ViolentContest) Merge.kif 13397-13397 Battaglia è una sottoclasse di CompetizioneViolenta

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


(termFormat ChineseLanguage Battle "战斗") chinese_format.kif 1211-1211
(termFormat EnglishLanguage Battle "battle") english_format.kif 1639-1639
(termFormat FrenchLanguage Battle "bataille") french_format.kif 889-889
(termFormat Hindi Battle "ladhaaii") terms-hindi.txt 422-422
(termFormat ItalianLanguage Battle "Battaglia") terms-it.txt 425-425
(termFormat JapaneseLanguage Battle "戦い") japanese_format.kif 2573-2573
(termFormat PortugueseLanguage Battle "Batalha") portuguese_format.kif 841-841
(termFormat cb Battle "sanka") terms-cb.txt 427-427
(termFormat cz Battle "battle") terms-cz.txt 461-461
(termFormat ro Battle "bãtãlie") relations-ro.kif 910-910
(termFormat tg Battle "labanan") terms-tg.txt 426-426

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 8414-8427
(=>
    (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 8385-8394
(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))		 Merge.kif 13411-13416
(=>
    (instance ?BATTLE Battle)
    (exists (?WAR)
        (and
            (instance ?WAR War)
            (subProcess ?BATTLE ?WAR))))		 Merge.kif 13404-13409

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


(=>
    (attribute ?U ExpeditionaryForce)
    (hasPurpose ?U
        (exists (?B ?C ?FC)
            (and
                (subOrganization ?U
                    (GovernmentFn ?C))
                (instance ?B Battle)
                (agent ?B ?U)
                (instance ?FC Nation)
                (located ?B ?FC)
                (not
                    (equal ?C ?FC))))))		 MilitaryPersons.kif 712-724
(=>
    (holdsDuring ?TIME
        (instance ?AREA MilitaryFront))
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (eventLocated ?BATTLE ?AREA)
            (temporalPart ?TIME ?BATTLE))))		 Mid-level-ontology.kif 9045-9051
(=>
    (instance ?M MilitaryManeuver)
    (exists (?B)
        (and
            (instance ?B Battle)
            (subProcess ?M ?B))))		 Mid-level-ontology.kif 21854-21859
(=>
    (instance ?WAR War)
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (subProcess ?BATTLE ?WAR))))		 Merge.kif 13377-13382


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