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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HostNation
HostNation(host nation)

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 1350-1353
(subclass HostNation Nation) MilitaryProcesses.kif 1349-1349 Host nation is a subclass of nation

appearance as argument number 2

(termFormat ChineseLanguage HostNation "主办国") domainEnglishFormat.kif 28653-28653
(termFormat ChineseTraditionalLanguage HostNation "主辦國") domainEnglishFormat.kif 28652-28652
(termFormat EnglishLanguage HostNation "host nation") domainEnglishFormat.kif 28651-28651


        (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 1293-1303
    (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 1357-1373


        (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 1943-1955

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