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
Il numero 1 argomenti di
enemy
è un
istanza
di
AutonomousAgent
(
domain
enemy
2
AutonomousAgent
)
MilitaryProcesses.kif 2448-2448
Il numero 2 argomenti di
enemy
è un
istanza
di
AutonomousAgent
(
instance
enemy
ObjectAttitude
)
MilitaryProcesses.kif 2449-2449
enemy
è un'
istanza
di
AtteggiamentoOggettuale
(
instance
enemy
SymmetricRelation
)
MilitaryProcesses.kif 2450-2450
enemy
è un'
istanza
di
RelazioneSimmetrica
(
subrelation
enemy
inScopeOfInterest
)
MilitaryProcesses.kif 2451-2451
enemy
è una
sottorelazione
di
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
Processo
è un'
istanza
di
ArmedReconnaissance
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
enemy
AgenteCognitivo
and
Entit�
vales
durante
il
tempo
di esistenza di
Processo
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Attack
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
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
Processo
è un'
istanza
di
DefensiveInformationOperation
Processo
è un
agente
di
AgenteCognitivo
enemy
AgenteCognitivo
and
AgenteCognitivo
AgenteCognitivo
desidera
s
AgenteCognitivo
conosce
s
Entit�
AgenteCognitivo
desidera
s
AgenteCognitivo
non
conosce
Entit�
Processo
ha
scopo
AgenteCognitivo
non
conosce
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
InsiemeConcreto
è un'
istanza
di
MilitaryForce
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Imprisoning
AutonomousAgent
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un
paziente
di
Processo
enemy
AutonomousAgent
and
AutonomousAgent
eventLocated
Processo
and
Oggetto
attribute
Oggetto
and
WarState
attribute
AutonomousAgent
and
PrisonerOfWar
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
enemy
AgenteCognitivo
and
AgenteCognitivo
AgenteCognitivo
crede
s
attribute
AgenteCognitivo
and
Enemy
AgenteCognitivo
crede
s
attribute
AgenteCognitivo
and
Enemy
(=>
(
enemy
?AGENT1 ?AGENT2)
(
dislikes
?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2455-2457
enemy
AgenteCognitivo
and
AutonomousAgent
dislikes
AgenteCognitivo
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
è un'
istanza
di
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
AutonomousAgent
CTION
causa
s
Processo
AutonomousAgent
CTION è un
agente
di
Entit�
_A
MilitaryOperation
è un
agente
di
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
è un'
istanza
di
CivilAffairsAgreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
enemy
AgenteCognitivo
and
AgenteCognitivo
(=>
(
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
è un'
istanza
di
CivilAffairsAgreement
partyToAgreement
Entit�
_MIL_THIS and
Agreement
Entit�
_MIL_THIS è un'
istanza
di
MilitaryOrganization
militaryOfArea
Entit�
_MIL_THIS and
Entit�
_THIS
Entit�
_THIS è un'
istanza
di
Nazione
Entit�
_MIL_THIS è
localizzato
in
Entit�
_FRIENDLY
Entit�
_FRIENDLY è un'
istanza
di
Nazione
Entit�
_THIS is
uguale
a
Entit�
_FRIENDLY
enemy
Entit�
_THIS and
Entit�
_FRIENDLY
Entit�
_FRIENDLY
Entit�
_FRIENDLY è
localizzato
in
Entit�
_FRIENDLY
partyToAgreement
Entit�
_FRIENDLY and
Agreement
Entit�
_FRIENDLY è un'
istanza
di
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
è un'
istanza
di
CounterproliferationWMD
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
Processo
enemy
AutonomousAgent
and
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
ProliferationWMD
Processo
ha
scopo
Processo
impedisce
l'occorrenza di
ProliferationWMD
(=>
(
attribute
?P
Enemy
)
(
exists
(?AGENT)
(
enemy
?AGENT ?P)))
MilitaryProcesses.kif 2471-2474
attribute
AutonomousAgent
and
Enemy
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
Entit�Concreta
è un'
istanza
di
CounterOperation
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�Concreta
è un
agente
di
Entit�
enemy
Entit�
and
Entit�
Entit�
è una
sottoclasse
di
MilitaryOperation
Entit�
è un'
istanza
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�Concreta
impedisce
l'occorrenza di
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
Entit�Concreta
è un'
istanza
di
CounterReconnaissance
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�Concreta
è un
agente
di
Entit�
enemy
Entit�
and
Entit�
Entit�
è una
sottoclasse
di
ReconnaissanceOperation
Entit�
è un'
istanza
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�Concreta
impedisce
l'occorrenza di
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
Entit�Concreta
è un'
istanza
di
CounterTerrorism
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�Concreta
è un
agente
di
Entit�
enemy
Entit�
and
Entit�
Entit�
è una
sottoclasse
di
Terrorism
Entit�
è un'
istanza
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�Concreta
impedisce
l'occorrenza di
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
è un'
istanza
di
HostNation
Processo
Organizzazione
,
AreaGeopolitica
and
MilitaryOrganization
AreaGeopolitica
è un'
istanza
di
Nazione
MilitaryOrganization
è un'
istanza
di
MilitaryForce
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
subOrganization
Organizzazione
and
MilitaryOrganization
AutonomousAgent
is
uguale
a
AreaGeopolitica
enemy
AutonomousAgent
and
AreaGeopolitica
Processo
è un'
istanza
di
Ottenere
Processo
è un
agente
di
AutonomousAgent
Organizzazione
è un
paziente
di
Processo
Organizzazione
è un'
istanza
di
MilitaryForce
Organizzazione
è
localizzato
in
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�
è un'
istanza
di
Soccer
InsiemeConcreto
InsiemeConcreto
,
AutonomousAgent
and
AutonomousAgent
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
memberCount
InsiemeConcreto
and 11
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
memberCount
InsiemeConcreto
and 11
InsiemeConcreto
is
uguale
a
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
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