HostNation - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1350-1353
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1349-1349	Host nation is a subclass of nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28653-28653
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28652-28652
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28651-28651

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.

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