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

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage HostNation "主办国") domainEnglishFormat.kif 28555-28555
(termFormat ChineseTraditionalLanguage HostNation "主辦國") domainEnglishFormat.kif 28554-28554
(termFormat EnglishLanguage HostNation "host nation") domainEnglishFormat.kif 28553-28553

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


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

consequent
-------------------------


(=>
    (and
        (instance ?FID ForeignInternalDefense)
        (agent ?FID ?MIL)
        (militaryOfArea ?MIL ?NATION))
    (exists (?HN ?MAINTAIN)
        (and
            (experiencer ?FID ?HN)
            (instance ?HN HostNation)
            (not
                (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners