HostNation - Sigma Knowledge base Browser

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 28687-28687
(termFormat ChineseTraditionalLanguage HostNation "主辦國")	domainEnglishFormat.kif 28686-28686
(termFormat EnglishLanguage HostNation "host nation")	domainEnglishFormat.kif 28685-28685

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 1293-1303	If a process is an instance of supportHN assistance and an agent experiences the process and the agent is an instance of host nation, then there exists another process such that the other process is an instance of military operation and the other process is an instance of helping and the agent experiences the other process and the other process is a patient of the process
(=> (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 1357-1373	If an agent is an instance of host nation, then there exist a process, an organization,, , a geopolitical area and a military organization such that the geopolitical area is an instance of nation and the military organization is an instance of military force and the geopolitical area is a military of area of the military organization and the organization is a part of the organization the military organization and the agent is not equal to the geopolitical area and the agent and the geopolitical area are not enemies of each other and the process is an instance of getting and the agent is an agent of the process and the organization is a patient of the process and the organization is an instance of military force and the organization is located at the agent

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

If a process is an instance of foreign internal defense and a military organization is an agent of the process and a geopolitical area is a military of area of the military organization,
then there exist an agent and another process such that the agent experiences the process and the agent is an instance of host nation and the agent is not equal to the geopolitical area and the other process is an instance of maintaining and the agent is an agent of the other process

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

KB Term:			Term intersection

English Word: