Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HostNation
HostNation(host nation)

appearance as argument number 1
-------------------------


(subclass HostNation Nation) MilitaryProcesses.kif 1371-1371 Host nation is a subclass of nation
(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 1372-1375 Host nation is a subclass of nation

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


(termFormat EnglishLanguage HostNation "host nation") domainEnglishFormat.kif 28655-28655
(termFormat ChineseTraditionalLanguage HostNation "主辦國") domainEnglishFormat.kif 28656-28656
(termFormat ChineseLanguage HostNation "主办国") domainEnglishFormat.kif 28657-28657

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 1315-1325 If X is an instance of support to HN assistance, Y experiences X, and Y is an instance of host nation, then there exists Z such that Z is an instance of military operation, Z is an instance of helping, Y experiences Z, and Z is a patient of X
(=>
    (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 1379-1395 If X is an instance of host nation, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of nation (3) V is an instance of military force (4) W is a military of area of V (5) Z is a part of the organization V (6) equal X (7) W (8) X (9) W are not enemies of each other (10) Y is an instance of getting (11) X is an agent of Y (12) Z is a patient of Y (13) Z is an instance of military force (14) Z is located at X

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 1966-1978 If X is an instance of foreign internal defense, Y is an agent of X, and Z is a military of area of Y, then All of the following hold: (1) there exist W (2) V such that W experiences X (3) W is an instance of host nation (4) equal W (5) Z (6) V is an instance of maintaining (7) W is an agent of V


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners