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
O argumento numero 1 de
enemy
e' uma
instancia
de
AutonomousAgent
(
domain
enemy
2
AutonomousAgent
)
MilitaryProcesses.kif 2448-2448
O argumento numero 2 de
enemy
e' uma
instancia
de
AutonomousAgent
(
instance
enemy
ObjectAttitude
)
MilitaryProcesses.kif 2449-2449
enemy
e' uma
instancia
de
Atitude em relacao a um Objeto
(
instance
enemy
SymmetricRelation
)
MilitaryProcesses.kif 2450-2450
enemy
e' uma
instancia
de
Relacao Simetrica
(
subrelation
enemy
inScopeOfInterest
)
MilitaryProcesses.kif 2451-2451
enemy
e' uma
sub
-relacao 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 65821-65821
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
Processo
e' uma
instancia
de
ArmedReconnaissance
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
enemy
Agente Cognitivo
and
Entidade
vale
durante
tempo
de existencia de
Processo
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Attack
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
(=>
(
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
Processo
e' uma
instancia
de
DefensiveInformationOperation
Processo
e' um
agente
de
Agente Cognitivo
enemy
Agente Cognitivo
and
Agente Cognitivo
Agente Cognitivo
deseja
Agente Cognitivo
sabe
Entidade
Agente Cognitivo
deseja
Agente Cognitivo
nao
sabe
%n
Entidade
Processo
tem por
fim
Agente Cognitivo
nao
sabe
%n
Entidade
(=>
(
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
Colecao
e' uma
instancia
de
MilitaryForce
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Imprisoning
AutonomousAgent
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' um
patient
de
Processo
enemy
AutonomousAgent
and
AutonomousAgent
eventLocated
Processo
and
Objeto
WarState
e' um
atributo
de
Objeto
PrisonerOfWar
e' um
atributo
de
AutonomousAgent
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
enemy
Agente Cognitivo
and
Agente Cognitivo
Agente Cognitivo
acredita
que
Enemy
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
acredita
que
Enemy
e' um
atributo
de
Agente Cognitivo
(=>
(
enemy
?AGENT1 ?AGENT2)
(
dislikes
?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2455-2457
enemy
Agente Cognitivo
and
AutonomousAgent
dislikes
Agente Cognitivo
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
Processo
e' uma
instancia
de
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
AutonomousAgent
CTION
causa
Processo
AutonomousAgent
CTION e' um
agente
de
Entidade
_A
MilitaryOperation
e' um
agente
de
Entidade
_A
enemy
Entidade
_A and
Entidade
_A
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
Agreement
e' uma
instancia
de
CivilAffairsAgreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
enemy
Agente Cognitivo
and
Agente Cognitivo
(=>
(
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
e' uma
instancia
de
CivilAffairsAgreement
partyToAgreement
Entidade
_MIL_THIS and
Agreement
Entidade
_MIL_THIS e' uma
instancia
de
MilitaryOrganization
militaryOfArea
Entidade
_MIL_THIS and
Entidade
_THIS
Entidade
_THIS e' uma
instancia
de
Nacao
Entidade
_MIL_THIS e'
situado
em
Entidade
_FRIENDLY
Entidade
_FRIENDLY e' uma
instancia
de
Nacao
Entidade
_THIS e'
igual
a
Entidade
_FRIENDLY
enemy
Entidade
_THIS and
Entidade
_FRIENDLY
Entidade
_FRIENDLY
Entidade
_FRIENDLY e'
situado
em
Entidade
_FRIENDLY
partyToAgreement
Entidade
_FRIENDLY and
Agreement
Entidade
_FRIENDLY e' uma
instancia
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
Processo
e' uma
instancia
de
CounterproliferationWMD
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
Processo
enemy
AutonomousAgent
and
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
ProliferationWMD
Processo
tem por
fim
Processo
proibe
a ocurrencia de
ProliferationWMD
(=>
(
attribute
?P
Enemy
)
(
exists
(?AGENT)
(
enemy
?AGENT ?P)))
MilitaryProcesses.kif 2471-2474
Enemy
e' um
atributo
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
Fisico
e' uma
instancia
de
CounterOperation
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Fisico
e' um
agente
de
Entidade
enemy
Entidade
and
Entidade
Entidade
e' uma
sub
-classe de
MilitaryOperation
Entidade
e' uma
instancia
de
Entidade
Entidade
e' um
agente
de
Entidade
Fisico
proibe
a ocurrencia de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
CounterReconnaissance
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Fisico
e' um
agente
de
Entidade
enemy
Entidade
and
Entidade
Entidade
e' uma
sub
-classe de
ReconnaissanceOperation
Entidade
e' uma
instancia
de
Entidade
Entidade
e' um
agente
de
Entidade
Fisico
proibe
a ocurrencia de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
CounterTerrorism
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Fisico
e' um
agente
de
Entidade
enemy
Entidade
and
Entidade
Entidade
e' uma
sub
-classe de
Terrorism
Entidade
e' uma
instancia
de
Entidade
Entidade
e' um
agente
de
Entidade
Fisico
proibe
a ocurrencia de
Entidade
(=>
(
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
e' uma
instancia
de
HostNation
Processo
Organizacao
,
Area Geopolitica
and
MilitaryOrganization
Area Geopolitica
e' uma
instancia
de
Nacao
MilitaryOrganization
e' uma
instancia
de
MilitaryForce
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Organizacao
e' uma parte da organizacao
MilitaryOrganization
AutonomousAgent
e'
igual
a
Area Geopolitica
enemy
AutonomousAgent
and
Area Geopolitica
Processo
e' uma
instancia
de
Obter
Processo
e' um
agente
de
AutonomousAgent
Organizacao
e' um
patient
de
Processo
Organizacao
e' uma
instancia
de
MilitaryForce
Organizacao
e'
situado
em
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
Entidade
e' uma
instancia
de
Soccer
Colecao
Colecao
,
AutonomousAgent
and
AutonomousAgent
Colecao
e' uma
instancia
de
GroupOfPeople
memberCount
Colecao
and 11
Colecao
e' uma
instancia
de
GroupOfPeople
memberCount
Colecao
and 11
Colecao
e'
igual
a
Colecao
AutonomousAgent
e'
membro
de
Colecao
AutonomousAgent
e'
membro
de
Colecao
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