Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
enemy
Sigma KEE - enemy
enemy
appearance as argument number 1
(
documentation
enemy
EnglishLanguage
"Marks two
Agent
s that are enemies of each other")
MilitaryProcesses.kif 2452-2453
(
domain
enemy
1
AutonomousAgent
)
MilitaryProcesses.kif 2447-2447
The number 1 argument of
enemy
is an
instance
of
agent
(
domain
enemy
2
AutonomousAgent
)
MilitaryProcesses.kif 2448-2448
The number 2 argument of
enemy
is an
instance
of
agent
(
instance
enemy
ObjectAttitude
)
MilitaryProcesses.kif 2449-2449
enemy
is an
instance
of
object attitude
(
instance
enemy
SymmetricRelation
)
MilitaryProcesses.kif 2450-2450
enemy
is an
instance
of
symmetric relation
(
subrelation
enemy
inScopeOfInterest
)
MilitaryProcesses.kif 2451-2451
enemy
is a
subrelation
of
in scope of interest
appearance as argument number 2
(
format
EnglishLanguage
enemy
"%1 and %2 are %n enemies of each other")
MilitaryProcesses.kif 2715-2715
(
termFormat
EnglishLanguage
enemy
"enemy")
domainEnglishFormat.kif 65819-65819
antecedent
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
If
a process
is an
instance
of
armed reconnaissance
and
a cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the cognitive agent
and
the entity
are enemies of each other holds
during
the
time
of existence of
the process
,
then
the process
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
attack
and
the cognitive agent
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
If
a process
is an
instance
of
defensive information operation
and
a cognitive agent
is an
agent
of
the process
and
the cognitive agent
and
another cognitive agent
are enemies of each other and
the other cognitive agent
desire
s
the other cognitive agent
know
s
an entity
and
the cognitive agent
desire
s
the other cognitive agent
doesn't
know
the entity
,
then
the process
has the purpose
the other cognitive agent
doesn't
know
the entity
(=>
(
and
(
instance
?F
MilitaryForce
)
(
instance
?P
Human
)
(
instance
?I
Imprisoning
)
(
member
?P ?F)
(
agent
?I ?E)
(
patient
?I ?P)
(
enemy
?E ?P)
(
eventLocated
?I ?LOC)
(
attribute
?LOC
WarState
))
(
attribute
?P
PrisonerOfWar
))
MilitaryPersons.kif 285-296
If
a collection
is an
instance
of
military force
and
an agent
is an
instance
of
human
and
a process
is an
instance
of
imprisoning
and
the agent
is a
member
of
the collection
and
another agent
is an
agent
of
the process
and
the agent
is a
patient
of
the process
and
the other agent
and
the agent
are enemies of each other and
the process
is
located
at
an object
and
war state
is an
attribute
of
the object
,
then
prisoner of war
is an
attribute
of
the agent
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
If
a cognitive agent
and
another cognitive agent
are enemies of each other,
then
the cognitive agent
believe
s
enemy
is an
attribute
of
the other cognitive agent
and
the other cognitive agent
believe
s
enemy
is an
attribute
of
the cognitive agent
(=>
(
enemy
?AGENT1 ?AGENT2)
(
dislikes
?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2455-2457
If
a cognitive agent
and
an agent
are enemies of each other,
then
the cognitive agent
dislikes
the agent
consequent
(=>
(
and
(
instance
?ABORTED
(
AbortedMissionFn
?A ?MISSION))
(
causes
?ACTION ?ABORTED)
(
agent
?ACTION ?OTHER_A)
(
agent
?MISSION ?THIS_A))
(
not
(
enemy
?OTHER_A ?THIS_A)))
MilitaryProcesses.kif 2440-2445
If
a process
is an
instance
of the mission of
a military operation
aborted
by
an agent
and
the agent
CTION
cause
s
the process
and
an entity
_A is an
agent
of
the agent
CTION and
another entity
_A is an
agent
of
the military operation
,
then
the entity
_A and
the other entity
_A are not enemies of each other
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
If
an agreement
is an
instance
of
civil affairs agreement
and
the agreement
is a
party
to agreement of
a cognitive agent
and
the agreement
is a
party
to agreement of
another cognitive agent
,
then
the cognitive agent
and
the other cognitive agent
are not enemies of each other
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT_MIL_THIS ?CAA)
(
instance
?AGENT_MIL_THIS
MilitaryOrganization
)
(
militaryOfArea
?AGENT_MIL_THIS ?NATION_THIS)
(
instance
?NATION_THIS
Nation
)
(
located
?AGENT_MIL_THIS ?NATION_FRIENDLY)
(
instance
?NATION_FRIENDLY
Nation
))
(
and
(
not
(
equal
?NATION_THIS ?NATION_FRIENDLY))
(
not
(
enemy
?NATION_THIS ?NATION_FRIENDLY))
(
exists
(?AGENT_FRIENDLY)
(
and
(
located
?AGENT_FRIENDLY ?NATION_FRIENDLY)
(
partyToAgreement
?AGENT_FRIENDLY ?CAA)
(
not
(
instance
?AGENT_FRIENDLY
MilitaryOrganization
))))))
MilitaryProcesses.kif 2309-2328
If
an agreement
is an
instance
of
civil affairs agreement
and
the agreement
is a
party
to agreement of
an entity
_MIL_THIS and
the entity
_MIL_THIS is an
instance
of
military organization
and
another entity
_THIS is a
military
of area of
the entity
_MIL_THIS and
the other entity
_THIS is an
instance
of
nation
and
the entity
_MIL_THIS is
located
at
the other entity
_FRIENDLY and
the other entity
_FRIENDLY is an
instance
of
nation
,
then
the other entity
_THIS is not
equal
to
the other entity
_FRIENDLY and
the other entity
_THIS and
the other entity
_FRIENDLY are not enemies of each other and there exists
the entity
_FRIENDLY such that
the entity
_FRIENDLY is
located
at
the other entity
_FRIENDLY and
the agreement
is a
party
to agreement of
the entity
_FRIENDLY and
the entity
_FRIENDLY is not an
instance
of
military organization
(=>
(
and
(
instance
?CO
CounterproliferationWMD
)
(
agent
?CO ?AGENT))
(
exists
(?ENEMY ?OP)
(
and
(
enemy
?AGENT ?ENEMY)
(
agent
?OP ?ENEMY)
(
instance
?OP
ProliferationWMD
)
(
hasPurpose
?CO
(
prevents
?CO
ProliferationWMD
)))))
MilitaryProcesses.kif 1478-1488
If
a process
is an
instance
of
counterproliferationWM d
and
an agent
is an
agent
of
the process
,
then there exist
another agent
and
another process
such that
the agent
and
the other agent
are enemies of each other and
the other agent
is an
agent
of
the other process
and
the other process
is an
instance
of
proliferationWMD
and
the process
has the purpose
the process
prevent
s the occurrence of
proliferationWMD
(=>
(
attribute
?P
Enemy
)
(
exists
(?AGENT)
(
enemy
?AGENT ?P)))
MilitaryProcesses.kif 2471-2474
If
enemy
is an
attribute
of
an agent
,
then there exists
another agent
such that
the other agent
and
the agent
are enemies of each other
(=>
(
instance
?CO
CounterOperation
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
MilitaryOperation
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2174-2184
If
a physical
is an
instance
of
counter operation
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
agent
of
the physical
and
the entity
and
the other entity
are enemies of each other and
the fourth entity
is a
subclass
of
military operation
and
the third entity
is an
instance
of
the fourth entity
and
the other entity
is an
agent
of
the third entity
and
the physical
prevent
s the occurrence of
the fourth entity
(=>
(
instance
?CO
CounterReconnaissance
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
ReconnaissanceOperation
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2193-2203
If
a physical
is an
instance
of
counter reconnaissance
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
agent
of
the physical
and
the entity
and
the other entity
are enemies of each other and
the fourth entity
is a
subclass
of
reconnaissance operation
and
the third entity
is an
instance
of
the fourth entity
and
the other entity
is an
agent
of
the third entity
and
the physical
prevent
s the occurrence of
the fourth entity
(=>
(
instance
?CO
CounterTerrorism
)
(
hasPurpose
?CO
(
exists
(?AGENT ?ENEMY ?OP ?CLASS)
(
and
(
agent
?CO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
subclass
?CLASS
Terrorism
)
(
instance
?OP ?CLASS)
(
agent
?OP ?ENEMY)
(
prevents
?CO ?CLASS)))))
MilitaryProcesses.kif 2032-2042
If
a physical
is an
instance
of
counter terrorism
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
agent
of
the physical
and
the entity
and
the other entity
are enemies of each other and
the fourth entity
is a
subclass
of
terrorism
and
the third entity
is an
instance
of
the fourth entity
and
the other entity
is an
agent
of
the third entity
and
the physical
prevent
s the occurrence of
the fourth entity
(=>
(
instance
?HN
HostNation
)
(
exists
(?GETTING ?FORCES ?OTHERNATION ?MILITARY)
(
and
(
instance
?OTHERNATION
Nation
)
(
instance
?MILITARY
MilitaryForce
)
(
militaryOfArea
?MILITARY ?OTHERNATION)
(
subOrganization
?FORCES ?MILITARY)
(
not
(
equal
?HN ?OTHERNATION))
(
not
(
enemy
?HN ?OTHERNATION))
(
instance
?GETTING
Getting
)
(
agent
?GETTING ?HN)
(
patient
?GETTING ?FORCES)
(
instance
?FORCES
MilitaryForce
)
(
located
?FORCES ?HN))))
MilitaryProcesses.kif 1357-1373
If
an agent
is an
instance
of
host nation
,
then there exist
a process
,
an organization
,, ,
a geopolitical area
and
a military organization
such that
the geopolitical area
is an
instance
of
nation
and
the military organization
is an
instance
of
military force
and
the geopolitical area
is a
military
of area of
the military organization
and
the organization
is a part of the organization
the military organization
and
the agent
is not
equal
to
the geopolitical area
and
the agent
and
the geopolitical area
are not enemies of each other and
the process
is an
instance
of
getting
and
the agent
is an
agent
of
the process
and
the organization
is a
patient
of
the process
and
the organization
is an
instance
of
military force
and
the organization
is
located
at
the agent
(=>
(
instance
?S
Soccer
)
(
exists
(?A ?B ?M1 ?M2)
(
and
(
instance
?A
GroupOfPeople
)
(
memberCount
?A 11)
(
instance
?B
GroupOfPeople
)
(
memberCount
?B 11)
(
not
(
equal
?A ?B))
(
member
?M1 ?A)
(
member
?M1 ?B)
(
enemy
?M1 ?M2))))
Sports.kif 163-175
If
an entity
is an
instance
of
soccer
,
then there exist
a collection
,
another collection
,, ,
an agent
and
another agent
such that
the collection
is an
instance
of
group of people
and 11 is a
member
count of
the collection
and
the other collection
is an
instance
of
group of people
and 11 is a
member
count of
the other collection
and
the collection
is not
equal
to
the other collection
and
the agent
is a
member
of
the collection
and
the agent
is a
member
of
the other collection
and
the agent
and
the other agent
are enemies of each other
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