Enemy - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2441-2441
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10987-10987
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10985-10985
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10986-10986
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10984-10984
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2440-2440	Enemy is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2439-2439	Enemy is an instance of social role

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22053-22053
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22052-22052
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22051-22051

antecedent

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

consequent

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

MilitaryProcesses.kif 2443-2449