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
Die Zahl 1 Argument von
enemy
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
enemy
2
AutonomousAgent
)
MilitaryProcesses.kif 2448-2448
Die Zahl 2 Argument von
enemy
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
enemy
ObjectAttitude
)
MilitaryProcesses.kif 2449-2449
enemy
ist ein
fall
von
ObjectAttitude
%n{nicht}
(
instance
enemy
SymmetricRelation
)
MilitaryProcesses.kif 2450-2450
enemy
ist ein
fall
von
SymmetricRelation
%n{nicht}
(
subrelation
enemy
inScopeOfInterest
)
MilitaryProcesses.kif 2451-2451
enemy
ist eine
teilrelation
von
imBereichInteresses
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
Wenn
Process
ist ein
fall
von
ArmedReconnaissance
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
enemy
** CognitiveAgent
and
** Entity
haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** Process
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
um
** ** entity
ist ein
fall
von
Attack
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
DefensiveInformationOperation
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
enemy
** CognitiveAgent
and
** CognitiveAgent
und
** ** CognitiveAgent
wuenscht
** ** CognitiveAgent
kennt
entity
%n{nicht} %n{nicht} und
** CognitiveAgent
wuenscht
** ** CognitiveAgent
kennt
** entity
nicht %n{nicht},
dann
** Process
hat Zweck von
** ** CognitiveAgent
kennt
** entity
nicht %n{nicht}
(=>
(
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
Wenn
Collection
ist ein
fall
von
MilitaryForce
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Process
ist ein
fall
von
Imprisoning
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
patient
von
** Process
%n{nicht} und
enemy
** ** AutonomousAgent
and
** AutonomousAgent
und
eventLocated
** Process
and
Object
und
WarState
ist ein
attribut
von
** Object
%n{nicht},
dann
PrisonerOfWar
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
Wenn
enemy
CognitiveAgent
and
** CognitiveAgent
,
dann
** CognitiveAgent
glaubt %n{nicht}, dass
Enemy
ist ein
attribut
von
** ** CognitiveAgent
%n{nicht} und
** ** CognitiveAgent
glaubt %n{nicht}, dass
Enemy
ist ein
attribut
von
** CognitiveAgent
%n{nicht}
(=>
(
enemy
?AGENT1 ?AGENT2)
(
dislikes
?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2455-2457
Wenn
enemy
CognitiveAgent
and
AutonomousAgent
,
dann
dislikes
** CognitiveAgent
and
** AutonomousAgent
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
Wenn
Process
ist ein
fall
von
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
%n{nicht} und
** AutonomousAgent
CTION verursacht
** Process
%n{nicht} und
** AutonomousAgent
CTION ist der
agent
von
entity
_A %n{nicht} und
** MilitaryOperation
ist der
agent
von
** entity
_A %n{nicht},
dann
enemy
** entity
_A and
** ** entity
_A
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
Wenn
Agreement
ist ein
fall
von
CivilAffairsAgreement
%n{nicht} und
partyToAgreement
CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
,
dann
enemy
** CognitiveAgent
and
** ** CognitiveAgent
(=>
(
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
Wenn
Agreement
ist ein
fall
von
CivilAffairsAgreement
%n{nicht} und
partyToAgreement
entity
_MIL_THIS and
** Agreement
und
** entity
_MIL_THIS ist ein
fall
von
MilitaryOrganization
%n{nicht} und
militaryOfArea
** entity
_MIL_THIS and
** entity
_THIS und
** ** entity
_THIS ist ein
fall
von
Nation
%n{nicht} und
** entity
_MIL_THIS
befindet
sich an %n{nicht} und
** ** entity
_FRIENDLY ist ein
fall
von
Nation
%n{nicht},
dann
** ** entity
_THIS ist gleich
** ** entity
_FRIENDLY nicht und
enemy
** ** entity
_THIS and
** ** entity
_FRIENDLY und es gibt
** entity
_FRIENDLY um
** entity
_FRIENDLY
befindet
sich an %n{nicht} und
partyToAgreement
** entity
_FRIENDLY and
** Agreement
und
** entity
_FRIENDLY ist ein
fall
von
MilitaryOrganization
nicht
(=>
(
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
Wenn
Process
ist ein
fall
von
CounterproliferationWMD
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
** AutonomousAgent
und
** Process
um
enemy
** AutonomousAgent
and
** ** AutonomousAgent
und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** ** Process
ist ein
fall
von
ProliferationWMD
%n{nicht} und
** Process
hat Zweck von
** Process
verhindert
das Auftreten von
ProliferationWMD
%n{nicht}
(=>
(
attribute
?P
Enemy
)
(
exists
(?AGENT)
(
enemy
?AGENT ?P)))
MilitaryProcesses.kif 2471-2474
Wenn
Enemy
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann es gibt
** AutonomousAgent
um
enemy
** ** AutonomousAgent
and
** AutonomousAgent
(=>
(
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
Wenn
Physical
ist ein
fall
von
CounterOperation
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** Physical
ist der
agent
von
** entity
%n{nicht} und
enemy
** entity
and
** ** entity
und
** ** entity
ist eine
teilkategorie
von
MilitaryOperation
und
** ** entity
ist ein
fall
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** ** entity
%n{nicht} und
** Physical
verhindert
das Auftreten von
** ** entity
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
CounterReconnaissance
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** Physical
ist der
agent
von
** entity
%n{nicht} und
enemy
** entity
and
** ** entity
und
** ** entity
ist eine
teilkategorie
von
ReconnaissanceOperation
und
** ** entity
ist ein
fall
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** ** entity
%n{nicht} und
** Physical
verhindert
das Auftreten von
** ** entity
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
CounterTerrorism
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** Physical
ist der
agent
von
** entity
%n{nicht} und
enemy
** entity
and
** ** entity
und
** ** entity
ist eine
teilkategorie
von
Terrorism
und
** ** entity
ist ein
fall
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** ** entity
%n{nicht} und
** Physical
verhindert
das Auftreten von
** ** entity
%n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
HostNation
%n{nicht},
dann es gibt
Process
,
Organization
,, ,
GeopoliticalArea
, and und
MilitaryOrganization
um
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** MilitaryOrganization
ist ein
fall
von
MilitaryForce
%n{nicht} und
militaryOfArea
** MilitaryOrganization
and
** GeopoliticalArea
und
subOrganization
** Organization
and
** MilitaryOrganization
und
** AutonomousAgent
ist gleich
** GeopoliticalArea
nicht und
enemy
** AutonomousAgent
and
** GeopoliticalArea
und
** Process
ist ein
fall
von
Getting
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Organization
ist ein
patient
von
** Process
%n{nicht} und
** Organization
ist ein
fall
von
MilitaryForce
%n{nicht} und
** Organization
befindet
sich an %n{nicht}
(=>
(
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
Wenn
Entity
ist ein
fall
von
Soccer
%n{nicht},
dann es gibt
Collection
,
** Collection
,, ,
AutonomousAgent
, and und
** AutonomousAgent
um
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberCount
** Collection
and 11 und
** ** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberCount
** ** Collection
and 11 und
** Collection
ist gleich
** ** Collection
nicht und
** AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
** ** Collection
%n{nicht} und
enemy
** AutonomousAgent
and
** ** AutonomousAgent
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