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
Le nombre 1 argument de
enemy
est une
instance
de
AutonomousAgent
(
domain
enemy
2
AutonomousAgent
)
MilitaryProcesses.kif 2448-2448
Le nombre 2 argument de
enemy
est une
instance
de
AutonomousAgent
(
instance
enemy
ObjectAttitude
)
MilitaryProcesses.kif 2449-2449
enemy
est une
instance
de
attitude d'objet
(
instance
enemy
SymmetricRelation
)
MilitaryProcesses.kif 2450-2450
enemy
est une
instance
de
relation sym�trique
(
subrelation
enemy
inScopeOfInterest
)
MilitaryProcesses.kif 2451-2451
enemy
est une
sous
-relation de
inScopeOfInterest
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
Processus
est une
instance
de
ArmedReconnaissance
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
enemy
agent cognitif
and
entit�
pendant
temps
d'existence de
processus
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
(=>
(
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
Processus
est une
instance
de
DefensiveInformationOperation
processus
est un
agent
de
agent cognitif
enemy
agent cognitif
and
agent cognitif
agent cognitif
desire
agent cognitif
conna
�t
entit�
agent cognitif
desire
agent cognitif
ne
conna
�t %n{pas}
entit�
processus
a pour
but
agent cognitif
ne
conna
�t %n{pas}
entit�
(=>
(
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
Collection
est une
instance
de
MilitaryForce
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
Imprisoning
AutonomousAgent
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est un
patient
de
processus
enemy
AutonomousAgent
and
AutonomousAgent
eventLocated
processus
and
objet
WarState
est un
attribut
de
objet
PrisonerOfWar
est un
attribut
de
AutonomousAgent
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
enemy
agent cognitif
and
agent cognitif
agent cognitif
croit
Enemy
est un
attribut
de
agent cognitif
agent cognitif
croit
Enemy
est un
attribut
de
agent cognitif
(=>
(
enemy
?AGENT1 ?AGENT2)
(
dislikes
?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2455-2457
enemy
agent cognitif
and
AutonomousAgent
dislikes
agent cognitif
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
Processus
est une
instance
de
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
AutonomousAgent
CTION
cause
processus
AutonomousAgent
CTION est un
agent
de
entit�
_A
MilitaryOperation
est un
agent
de
entit�
_A
enemy
entit�
_A and
entit�
_A
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
Agreement
est une
instance
de
CivilAffairsAgreement
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
enemy
agent cognitif
and
agent cognitif
(=>
(
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
Agreement
est une
instance
de
CivilAffairsAgreement
partyToAgreement
entit�
_MIL_THIS and
Agreement
entit�
_MIL_THIS est une
instance
de
MilitaryOrganization
militaryOfArea
entit�
_MIL_THIS and
entit�
_THIS
entit�
_THIS est une
instance
de
nation
entit�
_MIL_THIS est
situ
� �
entit�
_FRIENDLY
entit�
_FRIENDLY est une
instance
de
nation
entit�
_THIS est
entit�
_FRIENDLY
enemy
entit�
_THIS and
entit�
_FRIENDLY
entit�
_FRIENDLY
entit�
_FRIENDLY est
situ
� �
entit�
_FRIENDLY
partyToAgreement
entit�
_FRIENDLY and
Agreement
entit�
_FRIENDLY est une
instance
de
MilitaryOrganization
(=>
(
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
Processus
est une
instance
de
CounterproliferationWMD
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
processus
enemy
AutonomousAgent
and
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
ProliferationWMD
processus
a pour
but
processus
previent
l'occurrence de
ProliferationWMD
(=>
(
attribute
?P
Enemy
)
(
exists
(?AGENT)
(
enemy
?AGENT ?P)))
MilitaryProcesses.kif 2471-2474
Enemy
est un
attribut
de
AutonomousAgent
AutonomousAgent
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
Physique
est une
instance
de
CounterOperation
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
physique
est un
agent
de
entit�
enemy
entit�
and
entit�
entit�
est une
sous
-classe de
MilitaryOperation
entit�
est une
instance
de
entit�
entit�
est un
agent
de
entit�
physique
previent
l'occurrence de
entit�
(=>
(
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
Physique
est une
instance
de
CounterReconnaissance
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
physique
est un
agent
de
entit�
enemy
entit�
and
entit�
entit�
est une
sous
-classe de
ReconnaissanceOperation
entit�
est une
instance
de
entit�
entit�
est un
agent
de
entit�
physique
previent
l'occurrence de
entit�
(=>
(
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
Physique
est une
instance
de
CounterTerrorism
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
physique
est un
agent
de
entit�
enemy
entit�
and
entit�
entit�
est une
sous
-classe de
Terrorism
entit�
est une
instance
de
entit�
entit�
est un
agent
de
entit�
physique
previent
l'occurrence de
entit�
(=>
(
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
AutonomousAgent
est une
instance
de
HostNation
processus
organisation
,
secteur g�opolitique
and
MilitaryOrganization
secteur g�opolitique
est une
instance
de
nation
MilitaryOrganization
est une
instance
de
MilitaryForce
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
organisation
est une partie de l'organization
MilitaryOrganization
AutonomousAgent
est
secteur g�opolitique
enemy
AutonomousAgent
and
secteur g�opolitique
processus
est une
instance
de
obtenir
processus
est un
agent
de
AutonomousAgent
organisation
est un
patient
de
processus
organisation
est une
instance
de
MilitaryForce
organisation
est
situ
� �
AutonomousAgent
(=>
(
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
Entit�
est une
instance
de
Soccer
collection
collection
,
AutonomousAgent
and
AutonomousAgent
collection
est une
instance
de
GroupOfPeople
memberCount
collection
and 11
collection
est une
instance
de
GroupOfPeople
memberCount
collection
and 11
collection
est
collection
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
est un
membre
de
collection
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