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 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


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