MilitaryFront - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MilitaryFront GeographicArea)	Mid-level-ontology.kif 10381-10381	Military front is a subclass of geographic area
(documentation MilitaryFront EnglishLanguage "A GeographicArea along which opposing military forces confront one another in a Battle.")	Mid-level-ontology.kif 10382-10383	Military front is a subclass of geographic area

appearance as argument number 2

(termFormat EnglishLanguage MilitaryFront "military front")	domainEnglishFormat.kif 37631-37631
(termFormat ChineseTraditionalLanguage MilitaryFront "軍事陣線")	domainEnglishFormat.kif 37632-37632
(termFormat ChineseLanguage MilitaryFront "军事阵线")	domainEnglishFormat.kif 37633-37633

antecedent

(=>
    (holdsDuring ?TIME
        (instance ?AREA MilitaryFront))
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (eventLocated ?BATTLE ?AREA)
            (temporalPart ?TIME ?BATTLE))))

If X is an instance of military front holds during Y, then there exists Z such that Z is an instance of battle, Z is located at X, and Y is a part of Z