Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Enemy

 Sigma KEE - Enemy
Enemy(enemy)

appearance as argument number 1
-------------------------


(instance Enemy SocialRole) MilitaryProcesses.kif 2536-2536 Enemy is an instance of social role
(instance Enemy DeonticAttribute) MilitaryProcesses.kif 2537-2537 Enemy is an instance of deontic attribute
(documentation Enemy EnglishLanguage "Enemy is the opposite of Ally. Eemotions associated with the enemy would include anger, hatred, frustration, envy, jealousy, Fear, distrust, and possibly grudging respect.As a political concept, an enemy is likely to be met with hate, violence, Battle and War. [Wikipedia].") MilitaryProcesses.kif 2538-2541 Enemy is an instance of deontic attribute

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


(contraryAttribute Ally Enemy) MilitaryProcesses.kif 2527-2527 Ally is the opposite of enemy
(termFormat EnglishLanguage Enemy "enemy") MilitaryProcesses.kif 3048-3048 Ally is the opposite of enemy

antecedent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?P Enemy))
    (exists (?AGENT)
        (holdsDuring ?T
            (enemy ?AGENT ?P))))		 MilitaryProcesses.kif 2543-2548 If enemy is an attribute of X holds during Y, then there exists Z such that Z and X are enemies of each other holds during Y

consequent
-------------------------


(=>
    (instance ?W AntiAircraftWarfare)
    (hasPurpose ?W
        (exists (?D ?A)
            (and
                (instance ?D Discovering)
                (patient ?D ?A)
                (instance ?A Aircraft)
                (attribute ?A Enemy)
                (hasPurpose ?D
                    (exists (?E)
                        (and
                            (instance ?E Destruction)
                            (patient ?E ?A))))))))		 Military.kif 368-381 If X is an instance of anti-aircrraft warfare, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of discovering (3) Z is a patient of Y (4) Z is an instance of aircraft (5) enemy is an attribute of Z (6) Y has the purpose there exists W such that W is an instance of destruction (7) Z is a patient of W
(=>
    (instance ?W AntiAircraftWarfare)
    (hasPurpose ?W
        (exists (?CLASS ?C)
            (and
                (subclass ?CLASS AerialWarfare)
                (prevents ?W ?CLASS)
                (instance ?C ?CLASS)
                (attribute ?C Enemy)))))		 Military.kif 383-391 If X is an instance of anti-aircrraft warfare, then X has the purpose there exist Y, Z such that Y is a subclass of aerial warfare, X prevents the occurrence of Y, Z is an instance of Y, and enemy is an attribute of Z
(=>
    (instance ?M MilitaryScreeningTactic)
    (hasPurpose ?M
        (exists (?D ?P)
            (and
                (instance ?D Discovering)
                (patient ?D ?P)
                (instance ?P Proposition)
                (attribute ?P Enemy)))))		 Military.kif 423-431 If X is an instance of military screening tactic, then X has the purpose there exist Y, Z such that Y is an instance of discovering, Z is a patient of Y, Z is an instance of proposition, and enemy is an attribute of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners