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 10986-10986
(externalImage Enemy "http://upload.wikimedia.org/wikipedia/commons/3/34/ ISAF_soldier_looking_for_enemy_positions_in_Kunar_Province_of_Afghanistan.jpg") pictureList.kif 10984-10984
(externalImage Enemy "http://upload.wikimedia.org/wikipedia/commons/9/96/ Sickles_homicide.jpg") pictureList.kif 10985-10985
(externalImage Enemy "http://upload.wikimedia.org/wikipedia/en/6/6d/Homer%27sEnemy.png") pictureList.kif 10983-10983
(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 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