enemy - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - enemy

enemy

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2432-2433
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2427-2427	The number 1 argument of enemy is an instance of agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2428-2428	The number 2 argument of enemy is an instance of agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2429-2429	enemy is an instance of object attitude
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2430-2430	enemy is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2431-2431	enemy is a subrelation of in scope of interest

appearance as argument number 2

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

MilitaryProcesses.kif 2671-2671

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	If a process is an instance of armed reconnaissance and a cognitive agent is an agent of the process and an entity is a patient of the process and the cognitive agent and the entity are enemies of each other holds during the time of existence of the process, then the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of attack and the cognitive agent is an agent of the other entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1857-1869	If a process is an instance of defensive information operation and a cognitive agent is an agent of the process and the cognitive agent and another cognitive agent are enemies of each other and the other cognitive agent desires the other cognitive agent knows an entity and the cognitive agent desires the other cognitive agent doesn't know the entity, then the process purpose the other cognitive agent doesn't know the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 285-296	If a collection is an instance of military force and an agent is an instance of human and a process is an instance of imprisoning and the agent is a member of the collection and another agent is an agent of the process and the agent is a patient of the process and the other agent and the agent are enemies of each other and the process is located at 2 and war state is an attribute of an object, then prisoner of war is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2443-2449	If a cognitive agent and another cognitive agent are enemies of each other, then the cognitive agent believes enemy is an attribute of the other cognitive agent and the other cognitive agent believes enemy is an attribute of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2435-2437	If a cognitive agent and an agent are enemies of each other, then the cognitive agent dislikes the agent

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2420-2425	If a process is an instance of the mission of a military operation aborted by an agent and the agentCTION causes the process and an entity_A is an agent of the agentCTION and another entity_A is an agent of the military operation, then the entity_A and the other entity_A are not enemies of each other
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2312-2318	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the cognitive agent and the other cognitive agent are not enemies of each other
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2289-2308	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of an entity_MIL_THIS and the entity_MIL_THIS is an instance of military organization and another entity_THIS is a military of area of the entity_MIL_THIS and the other entity_THIS is an instance of nation and the entity_MIL_THIS is located at the other entity_FRIENDLY and the other entity_FRIENDLY is an instance of nation, then the other entity_THIS is not equal to the other entity_FRIENDLY and the other entity_THIS and the other entity_FRIENDLY are not enemies of each other and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and the agreement is a party to agreement of the entity_FRIENDLY and the entity_FRIENDLY is not an instance of military organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2156-2165	If a process is an instance of counter operation and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the process purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	If a process is an instance of counter reconnaissance and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of reconnaissance operation and the process purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2013-2023	If a process is an instance of counter terrorism and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of terrorism and the process purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1459-1469	If a process is an instance of counterproliferationWM d and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of proliferationWMD and the process purpose the process prevents the occurrence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2451-2454	If enemy is an attribute of an agent, then there exists another agent such that the other agent and the agent are enemies of each other
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1356-1372	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 は組織 the military organization の一部では %n 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

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