| Enemy(enemy)
|
| appearance as argument number 1 |
|
| (documentation Enemy EnglishLanguage "Anyone considered hostile by someone else") | MilitaryProcesses.kif 2463-2463 | |
| (externalImage Enemy "http://upload.wikimedia.org/wikipedia/commons/1/14/ Kickboxing_right_hook_landing.jpg") | pictureList.kif 10960-10960 | |
| (externalImage Enemy "http://upload.wikimedia.org/wikipedia/commons/3/34/ ISAF_soldier_looking_for_enemy_positions_in_Kunar_Province_of_Afghanistan.jpg") | pictureList.kif 10958-10958 | |
| (externalImage Enemy "http://upload.wikimedia.org/wikipedia/commons/9/96/ Sickles_homicide.jpg") | pictureList.kif 10959-10959 | |
| (externalImage Enemy "http://upload.wikimedia.org/wikipedia/en/6/6d/Homer%27sEnemy.png") | pictureList.kif 10957-10957 | |
| (instance Enemy ContestAttribute) | MilitaryProcesses.kif 2462-2462 | Enemy is an instance of contest attribute |
| (instance Enemy SocialRole) | MilitaryProcesses.kif 2461-2461 | Enemy is an instance of social role |
| appearance as argument number 2 |
|
|
| (contraryAttribute Ally Enemy) | MilitaryProcesses.kif 2519-2519 | Ally is the opposite of enemy |
| (termFormat ChineseLanguage Enemy "敌人") | domainEnglishFormat.kif 22076-22076 | Ally is the opposite of enemy |
| (termFormat ChineseTraditionalLanguage Enemy "敵人") | domainEnglishFormat.kif 22075-22075 | Ally is the opposite of enemy |
| (termFormat EnglishLanguage Enemy "enemy") | domainEnglishFormat.kif 22074-22074 | Ally is the opposite of enemy |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?P Enemy)) (exists (?AGENT) (holdsDuring ?T (enemy ?AGENT ?P)))) |
MilitaryProcesses.kif 2475-2480 |
|
| consequent |
|
|
| (=> (holdsDuring ?T (enemy ?AGENT1 ?AGENT2)) (holdsDuring ?T (and (believes ?AGENT1 (attribute ?AGENT2 Enemy)) (believes ?AGENT2 (attribute ?AGENT1 Enemy))))) |
MilitaryProcesses.kif 2465-2473 |
|
|
|
|