Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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コンテスト属性instance では %n
(instance Enemy SocialRole) MilitaryProcesses.kif 2459-2459 Enemy社会的役割instance では %n

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


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