Enemy(enemy) |
appearance as argument number 1 |
(documentation Enemy EnglishLanguage "Anyone considered hostile by someone else") | MilitaryProcesses.kif 2461-2461 | |
(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 2460-2460 | Enemy is an instance of contest attribute |
(instance Enemy SocialRole) | MilitaryProcesses.kif 2459-2459 | Enemy is an instance of social role |
appearance as argument number 2 |
(termFormat ChineseLanguage Enemy "敌人") | domainEnglishFormat.kif 22060-22060 | |
(termFormat ChineseTraditionalLanguage Enemy "敵人") | domainEnglishFormat.kif 22059-22059 | |
(termFormat EnglishLanguage Enemy "enemy") | domainEnglishFormat.kif 22058-22058 |
antecedent |
(=> (attribute ?P Enemy) (exists (?AGENT) (enemy ?AGENT ?P))) |
MilitaryProcesses.kif 2471-2474 |
|
consequent |
(=> (enemy ?AGENT1 ?AGENT2) (and (believes ?AGENT1 (attribute ?AGENT2 Enemy)) (believes ?AGENT2 (attribute ?AGENT1 Enemy)))) |
MilitaryProcesses.kif 2463-2469 |
|