Battle
|
|
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 | Bataille est une sous-classe de affrontement violent |
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 |
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 |