PrisonerOfWar - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PrisonerOfWar

PrisonerOfWar(prisoner of war)

POW, prisoner_of_war

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 255-270
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2726-2726
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2912-2912
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2913-2913
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2914-2914
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 252-252	Prisoner of war is an instance of social role
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 253-253	Prisoner of war is a subattribute of prisoner

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47434-47434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47433-47433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47432-47432

antecedent

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

MilitaryPersons.kif 274-280

If prisoner of war is an attribute of an entity and the entity is located at another entity holds during a time position,
then war state is an attribute of the other entity holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2848-2863	If an object is an instance of Facility and militarily secure is an attribute of the object holds during a time position and an agent is an instance of military force and the agent possesses the object, then there doesn't exist another agent such that the agent and the other agent are enemies of each other and the other agent is located at the object and prisoner of war is not an attribute of the other agent holds during the time position
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 an object and war state is an attribute of the object, then prisoner of war is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1249-1253	If a process is an instance of supportEPW and an object is a patient of the process, then prisoner of war is an attribute of the object

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