| Enemy
|
| appearance as argument number 1 |
|
| (documentation Enemy EnglishLanguage "Anyone considered hostile by someone else") | MilitaryProcesses.kif 2441-2441 | |
| (externalImage Enemy "http://upload.wikimedia.org/wikipedia/commons/1/14/ Kickboxing_right_hook_landing.jpg") | pictureList.kif 10987-10987 | |
| (externalImage Enemy "http://upload.wikimedia.org/wikipedia/commons/3/34/ ISAF_soldier_looking_for_enemy_positions_in_Kunar_Province_of_Afghanistan.jpg") | pictureList.kif 10985-10985 | |
| (externalImage Enemy "http://upload.wikimedia.org/wikipedia/commons/9/96/ Sickles_homicide.jpg") | pictureList.kif 10986-10986 | |
| (externalImage Enemy "http://upload.wikimedia.org/wikipedia/en/6/6d/Homer%27sEnemy.png") | pictureList.kif 10984-10984 | |
| (instance Enemy ContestAttribute) | MilitaryProcesses.kif 2440-2440 | instance Enemy and ContestAttribute |
| (instance Enemy SocialRole) | MilitaryProcesses.kif 2439-2439 | instance Enemy and SocialRole |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Enemy "敌人") | domainEnglishFormat.kif 21985-21985 | |
| (termFormat ChineseTraditionalLanguage Enemy "敵人") | domainEnglishFormat.kif 21984-21984 | |
| (termFormat EnglishLanguage Enemy "enemy") | domainEnglishFormat.kif 21983-21983 |
| antecedent |
|
|
| (=> (attribute ?P Enemy) (exists (?AGENT) (enemy ?AGENT ?P))) |
MilitaryProcesses.kif 2451-2454 |
| consequent |
|
|
| (=> (enemy ?AGENT1 ?AGENT2) (and (believes ?AGENT1 (attribute ?AGENT2 Enemy)) (believes ?AGENT2 (attribute ?AGENT1 Enemy)))) |
MilitaryProcesses.kif 2443-2449 |
|
|
|