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 12375-12379
(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 12374-12374 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 1644-1644

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 8113-8126
(=>
    (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 8085-8094
(=>
    (instance ?BATTLE Battle)
    (exists (?ATTACK)
        (and
            (instance ?ATTACK ViolentContest)
            (subProcess ?ATTACK ?BATTLE))))
Merge.kif 12388-12393
(=>
    (instance ?BATTLE Battle)
    (exists (?WAR)
        (and
            (instance ?WAR War)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 12381-12386

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


(=>
    (holdsDuring ?TIME
        (instance ?AREA MilitaryFront))
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (eventLocated ?BATTLE ?AREA)
            (temporalPart ?TIME ?BATTLE))))
Mid-level-ontology.kif 8693-8699
(=>
    (instance ?M MilitaryManeuver)
    (exists (?B)
        (and
            (instance ?B Battle)
            (subProcess ?M ?B))))
Mid-level-ontology.kif 19600-19605
(=>
    (instance ?WAR War)
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (subProcess ?BATTLE ?WAR))))
Merge.kif 12354-12359


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners