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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Battle
Battle(battle)
Actium, Aegadean_Isles, Aegates_Isles, Aegospotami, Aegospotamos, Agincourt, Al_Alamayn, Alamo, Ardennes_counteroffensive, Argonne, Argonne_Forest, Atlanta, Austerlitz, Australian_arowana, Bannockburn, Bataan, Battle_of_Britain, Battle_of_Bull_Run, Battle_of_El_Alamein, Battle_of_Flodden_Field, Battle_of_Fontenoy, Battle_of_Fredericksburg, Battle_of_Gettysburg, Battle_of_Granicus_River, Battle_of_Guadalcanal, Battle_of_Jena, Battle_of_Kerbala, Battle_of_Lake_Trasimenus, Battle_of_Lepanto, Battle_of_Little_Bighorn, Battle_of_Magenta, Battle_of_Maldon, Battle_of_Midway, Battle_of_Monmouth, Battle_of_Monmouth_Court_House, Battle_of_Naseby, Battle_of_Puebla, Battle_of_Pydna, Battle_of_Ravenna, Battle_of_Rocroi, Battle_of_Wake, Battle_of_Wake_Island, Battle_of_Waterloo, Battle_of_the_Ardennes_Bulge, Battle_of_the_Bulge, Battle_of_the_Little_Bighorn, Battle_of_the_Marne, Battle_of_the_Somme, Battle_of_the_Spanish_Armada, Belleau_Wood...

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 13352-13356
(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 13351-13351 Battle is a subclass of violent contest

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 8387-8400
(=>
    (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 8358-8367
(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))
Merge.kif 13365-13370
(=>
    (instance ?BATTLE Battle)
    (exists (?WAR)
        (and
            (instance ?WAR War)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 13358-13363

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 9018-9024
(=>
    (instance ?M MilitaryManeuver)
    (exists (?B)
        (and
            (instance ?B Battle)
            (subProcess ?M ?B))))
Mid-level-ontology.kif 21802-21807
(=>
    (instance ?WAR War)
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 13331-13336


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