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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryFront
MilitaryFront(military front)Camlan, battlefield, battlefront, battleground, field, field_of_battle, field_of_honor, front, front_line, line

appearance as argument number 1

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

appearance as argument number 2

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


    (holdsDuring ?TIME
        (instance ?AREA MilitaryFront))
    (exists (?BATTLE)
            (instance ?BATTLE Battle)
            (eventLocated ?BATTLE ?AREA)
            (temporalPart ?TIME ?BATTLE))))
Mid-level-ontology.kif 9017-9023

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