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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Enemy

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 10976-10976
(externalImage Enemy "http://upload.wikimedia.org/wikipedia/commons/3/34/ ISAF_soldier_looking_for_enemy_positions_in_Kunar_Province_of_Afghanistan.jpg") pictureList.kif 10974-10974
(externalImage Enemy "http://upload.wikimedia.org/wikipedia/commons/9/96/ Sickles_homicide.jpg") pictureList.kif 10975-10975
(externalImage Enemy "http://upload.wikimedia.org/wikipedia/en/6/6d/Homer%27sEnemy.png") pictureList.kif 10973-10973
(instance Enemy ContestAttribute) MilitaryProcesses.kif 2440-2440
(instance Enemy SocialRole) MilitaryProcesses.kif 2439-2439

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Enemy "敌人") domainEnglishFormat.kif 22053-22053
(termFormat ChineseTraditionalLanguage Enemy "敵人") domainEnglishFormat.kif 22052-22052
(termFormat EnglishLanguage Enemy "enemy") domainEnglishFormat.kif 22051-22051

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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