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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryFront
MilitaryFront

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 9015-9016
(subclass MilitaryFront GeographicArea) Mid-level-ontology.kif 9014-9014

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

antecedent
-------------------------


(=>
    (holdsDuring ?TIME
        (instance ?AREA MilitaryFront))
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (eventLocated ?BATTLE ?AREA)
            (temporalPart ?TIME ?BATTLE))))
Mid-level-ontology.kif 9018-9024


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