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
Regretting
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 数量 是
施事体
的
instance
(
domain
enemy
2
AutonomousAgent
)
MilitaryProcesses.kif 2448-2448
enemy
的 2 数量 是
施事体
的
instance
(
instance
enemy
ObjectAttitude
)
MilitaryProcesses.kif 2449-2449
enemy
是
对象态度
的
instance
(
instance
enemy
SymmetricRelation
)
MilitaryProcesses.kif 2450-2450
enemy
是
对称关系
的
instance
(
subrelation
enemy
inScopeOfInterest
)
MilitaryProcesses.kif 2451-2451
enemy
是
感兴趣
的
subrelation
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
如果
过程
是
武装侦察
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
enemy
那个 有认知的主事
and
那个 实体
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 过程
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
攻击
的
instance
和
那个 有认知的主事
是
那个 另外 实体
的
agent
和
那个 实体
是
那个 另外 实体
的
patient
的任务
(=>
(
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
如果
过程
是
防御性信息操作
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
enemy
那个 有认知的主事
and
另一个 有认知的主事
和
那个 另外 有认知的主事
desires
那个 另外 有认知的主事
knows
实体
和
那个 有认知的主事
desires
那个 另外 有认知的主事
doesn't
knows
那个 实体
,
然后
那个 过程
的 目的 是
那个 另外 有认知的主事
doesn't
knows
那个 实体
(=>
(
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
如果
群体
是
军事力量
的
instance
和
施事体
是
人类
的
instance
和
过程
是
监禁
的
instance
和
那个 施事体
是
那个 群体
的
member
和
另一个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 过程
的
patient
和
enemy
那个 另外 施事体
and
那个 施事体
和
那个 过程
是
located
在
客体
和
战争状态
是
那个 客体
的
attribute
,
然后
战俘
是
那个 施事体
的
attribute
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
如果
enemy
有认知的主事
and
另一个 有认知的主事
,
然后
那个 有认知的主事
believes
敌人
是
那个 另外 有认知的主事
的
attribute
和
那个 另外 有认知的主事
believes
敌人
是
那个 有认知的主事
的
attribute
(=>
(
enemy
?AGENT1 ?AGENT2)
(
dislikes
?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2455-2457
如果
enemy
有认知的主事
and
施事体
,
然后
那个 有认知的主事
dislikes
那个 施事体
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
如果
过程
是 由
施事体
中止的
军事行动
任务 的
instance
和
那个 施事体
CTION
causes
那个 过程
和
实体
_A 是
那个 施事体
CTION 的
agent
和
另一个 实体
_A 是
那个 军事行动
的
agent
,
然后
enemy
那个 实体
_A and
那个 另外 实体
_A
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
如果
协议
是
民政协议
的
instance
和
那个 协议
是
有认知的主事
的
party
协议 和
那个 协议
是
另一个 有认知的主事
的
party
协议,
然后
enemy
那个 有认知的主事
and
那个 另外 有认知的主事
(=>
(
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
如果
协议
是
民政协议
的
instance
和
那个 协议
是
实体
_MIL_THIS 的
party
协议 和
那个 实体
_MIL_THIS 是
军事组织
的
instance
和
另一个 实体
_THIS 是
那个 实体
_MIL_THIS 的
military
区域 和
那个 另外 实体
_THIS 是
国家
的
instance
和
那个 实体
_MIL_THIS 是
located
在
那个 另外 实体
_FRIENDLY 和
那个 另外 实体
_FRIENDLY 是
国家
的
instance
,
然后
那个 另外 实体
_THIS 不
equal
那个 另外 实体
_FRIENDLY 和
enemy
那个 另外 实体
_THIS and
那个 另外 实体
_FRIENDLY 和 有存在
那个 实体
_FRIENDLY 这样
那个 实体
_FRIENDLY 是
located
在
那个 另外 实体
_FRIENDLY 和
那个 协议
是
那个 实体
_FRIENDLY 的
party
协议 和
那个 实体
_FRIENDLY 不 是
军事组织
的
instance
(=>
(
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
如果
过程
是
反扩散
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
另一个 施事体
和
另一个 过程
这样
enemy
那个 施事体
and
那个 另外 施事体
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
是
增殖作用
的
instance
和
那个 过程
的 目的 是
那个 过程
prevents
增殖作用
的发生
(=>
(
attribute
?P
Enemy
)
(
exists
(?AGENT)
(
enemy
?AGENT ?P)))
MilitaryProcesses.kif 2471-2474
如果
敌人
是
施事体
的
attribute
,
然后 有存在
另一个 施事体
这样
enemy
那个 另外 施事体
and
那个 施事体
(=>
(
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
如果
物理
是
反操作
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
那个 物理
的
agent
和
enemy
那个 实体
and
那个 另外 实体
和
那个 第四 实体
是
军事行动
的
subclass
和
那个 第三 实体
是
那个 第四 实体
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
agent
和
那个 物理
prevents
那个 第四 实体
的发生
(=>
(
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
如果
物理
是
反侦察
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
那个 物理
的
agent
和
enemy
那个 实体
and
那个 另外 实体
和
那个 第四 实体
是
ReconnaissanceOperation
的
subclass
和
那个 第三 实体
是
那个 第四 实体
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
agent
和
那个 物理
prevents
那个 第四 实体
的发生
(=>
(
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
如果
物理
是
反恐
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
那个 物理
的
agent
和
enemy
那个 实体
and
那个 另外 实体
和
那个 第四 实体
是
恐怖主义
的
subclass
和
那个 第三 实体
是
那个 第四 实体
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
agent
和
那个 物理
prevents
那个 第四 实体
的发生
(=>
(
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
如果
施事体
是
主办国
的
instance
,
然后 有存在
过程
,
机构
,, ,
地缘政治区域
, and 和
军事组织
这样
那个 地缘政治区域
是
国家
的
instance
和
那个 军事组织
是
军事力量
的
instance
和
那个 地缘政治区域
是
那个 军事组织
的
military
区域 和
那个 机构
是
那个 军事组织
Organization
的一部分 和
那个 施事体
不
equal
那个 地缘政治区域
和
enemy
那个 施事体
and
那个 地缘政治区域
和
那个 过程
是
获得
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 机构
是
那个 过程
的
patient
和
那个 机构
是
军事力量
的
instance
和
那个 机构
是
located
在
那个 施事体
(=>
(
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
如果
实体
是
英式足球比赛
的
instance
,
然后 有存在
群体
,
另一个 群体
,, ,
施事体
, and 和
另一个 施事体
这样
那个 群体
是
一群人
的
instance
和 11 是
那个 群体
的
member
计数 和
那个 另外 群体
是
一群人
的
instance
和 11 是
那个 另外 群体
的
member
计数 和
那个 群体
不
equal
那个 另外 群体
和
那个 施事体
是
那个 群体
的
member
和
那个 施事体
是
那个 另外 群体
的
member
和
enemy
那个 施事体
and
那个 另外 施事体
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