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
域
enemy
, 1 and
AutonomousAgent
(
domain
enemy
2
AutonomousAgent
)
MilitaryProcesses.kif 2448-2448
域
enemy
, 2 and
AutonomousAgent
(
instance
enemy
ObjectAttitude
)
MilitaryProcesses.kif 2449-2449
例
enemy
and
ObjectAttitude
(
instance
enemy
SymmetricRelation
)
MilitaryProcesses.kif 2450-2450
例
enemy
and
SymmetricRelation
(
subrelation
enemy
inScopeOfInterest
)
MilitaryProcesses.kif 2451-2451
子關係
enemy
and
在感興趣的範圍內
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
例
Process
and
武裝偵察
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
持有期間
何時
Process
and
enemy
CognitiveAgent
and
Entity
賦予權利
entity
例
entity
and
攻擊
agent
entity
and
CognitiveAgent
患者
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
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
例
Process
and
防禦性信息操作
agent
Process
and
CognitiveAgent
enemy
CognitiveAgent
and
CognitiveAgent
慾望
CognitiveAgent
and
知道
CognitiveAgent
and
entity
慾望
CognitiveAgent
and
知道
CognitiveAgent
and
entity
有目的
Process
and
知道
CognitiveAgent
and
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
例
Collection
and
軍事力量
例
AutonomousAgent
and
Human
例
Process
and
監禁
會員
AutonomousAgent
and
Collection
agent
Process
and
AutonomousAgent
患者
Process
and
AutonomousAgent
enemy
AutonomousAgent
and
AutonomousAgent
Process
是
located
在
Object
attribute
Object
and
戰爭狀態
attribute
AutonomousAgent
and
戰俘
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
enemy
CognitiveAgent
and
CognitiveAgent
相信
CognitiveAgent
and
attribute
CognitiveAgent
and
敵人
相信
CognitiveAgent
and
attribute
CognitiveAgent
and
敵人
(=>
(
enemy
?AGENT1 ?AGENT2)
(
dislikes
?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2455-2457
enemy
CognitiveAgent
and
AutonomousAgent
CognitiveAgent
dislikes
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
例
Process
and 由
AutonomousAgent
中止的
軍事行動
任務
原因
AutonomousAgent
CTION and
Process
agent
AutonomousAgent
CTION and
entity
_A
agent
軍事行動
and
entity
_A
enemy
entity
_A and
entity
_A
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
例
協議
and
民政協議
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
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
例
協議
and
民政協議
協議
是
entity
_MIL_THIS 的
party
協議
例
entity
_MIL_THIS and
軍事組織
entity
_THIS 是
entity
_MIL_THIS 的
military
區域
例
entity
_THIS and
Nation
位於
entity
_MIL_THIS and
entity
_FRIENDLY
例
entity
_FRIENDLY and
Nation
等於
entity
_THIS and
entity
_FRIENDLY
enemy
entity
_THIS and
entity
_FRIENDLY
entity
_FRIENDLY
位於
entity
_FRIENDLY and
entity
_FRIENDLY
協議
是
entity
_FRIENDLY 的
party
協議
例
entity
_FRIENDLY and
軍事組織
(=>
(
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
例
Process
and
反擴散
agent
Process
and
AutonomousAgent
AutonomousAgent
Process
enemy
AutonomousAgent
and
AutonomousAgent
agent
Process
and
AutonomousAgent
例
Process
and
增殖作用
有目的
Process
and
防止
Process
and
增殖作用
(=>
(
attribute
?P
Enemy
)
(
exists
(?AGENT)
(
enemy
?AGENT ?P)))
MilitaryProcesses.kif 2471-2474
attribute
AutonomousAgent
and
敵人
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
例
Physical
and
反操作
有目的
Physical
and
entity
entity
,
entity
and
entity
agent
Physical
and
entity
enemy
entity
and
entity
子類
entity
and
軍事行動
例
entity
and
entity
agent
entity
and
entity
防止
Physical
and
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
例
Physical
and
反偵察
有目的
Physical
and
entity
entity
,
entity
and
entity
agent
Physical
and
entity
enemy
entity
and
entity
子類
entity
and
ReconnaissanceOperation
例
entity
and
entity
agent
entity
and
entity
防止
Physical
and
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
例
Physical
and
反恐
有目的
Physical
and
entity
entity
,
entity
and
entity
agent
Physical
and
entity
enemy
entity
and
entity
子類
entity
and
恐怖主義
例
entity
and
entity
agent
entity
and
entity
防止
Physical
and
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
例
AutonomousAgent
and
主辦國
Process
Organization
,
GeopoliticalArea
and
軍事組織
例
GeopoliticalArea
and
Nation
例
軍事組織
and
軍事力量
GeopoliticalArea
是
軍事組織
的
military
區域
子組織
Organization
and
軍事組織
等於
AutonomousAgent
and
GeopoliticalArea
enemy
AutonomousAgent
and
GeopoliticalArea
例
Process
and
Getting
agent
Process
and
AutonomousAgent
患者
Process
and
Organization
例
Organization
and
軍事力量
位於
Organization
and
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
例
Entity
and
英式足球比賽
Collection
Collection
,
AutonomousAgent
and
AutonomousAgent
例
Collection
and
一群人
11 是
Collection
的
member
計數
例
Collection
and
一群人
11 是
Collection
的
member
計數
等於
Collection
and
Collection
會員
AutonomousAgent
and
Collection
會員
AutonomousAgent
and
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