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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HostNation

appearance as argument number 1

(documentation HostNation EnglishLanguage "A nation that receives the forces and/ or supplies of allied nations, coalition partners, and/ or NATO organizations to be located on, to operate in, or to transit through its territory. Also called HN") MilitaryProcesses.kif 1349-1352
(subclass HostNation Nation) MilitaryProcesses.kif 1348-1348

appearance as argument number 2

(termFormat ChineseLanguage HostNation "主办国") domainEnglishFormat.kif 28644-28644
(termFormat ChineseTraditionalLanguage HostNation "主辦國") domainEnglishFormat.kif 28643-28643
(termFormat EnglishLanguage HostNation "host nation") domainEnglishFormat.kif 28642-28642


        (instance ?SHN SupportHNAssistance)
        (experiencer ?SHN ?HN)
        (instance ?HN HostNation))
    (exists (?OP)
            (instance ?OP MilitaryOperation)
            (instance ?OP Helping)
            (experiencer ?OP ?HN)
            (patient ?SHN ?OP))))
MilitaryProcesses.kif 1292-1302
    (instance ?HN HostNation)
            (instance ?OTHERNATION Nation)
            (instance ?MILITARY MilitaryForce)
            (militaryOfArea ?MILITARY ?OTHERNATION)
            (subOrganization ?FORCES ?MILITARY)
                (equal ?HN ?OTHERNATION))
                (enemy ?HN ?OTHERNATION))
            (instance ?GETTING Getting)
            (agent ?GETTING ?HN)
            (patient ?GETTING ?FORCES)
            (instance ?FORCES MilitaryForce)
            (located ?FORCES ?HN))))
MilitaryProcesses.kif 1356-1372


        (instance ?FID ForeignInternalDefense)
        (agent ?FID ?MIL)
        (militaryOfArea ?MIL ?NATION))
    (exists (?HN ?MAINTAIN)
            (experiencer ?FID ?HN)
            (instance ?HN HostNation)
                (equal ?HN ?NATION))
            (instance ?MAINTAIN Maintaining)
            (agent ?MAINTAIN ?HN))))
MilitaryProcesses.kif 1924-1936

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