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 引数は
AutonomousAgent
の
instance
では %n
(
domain
enemy
2
AutonomousAgent
)
MilitaryProcesses.kif 2448-2448
enemy
の数値 2 引数は
AutonomousAgent
の
instance
では %n
(
instance
enemy
ObjectAttitude
)
MilitaryProcesses.kif 2449-2449
enemy
は
対象物姿勢
の
instance
では %n
(
instance
enemy
SymmetricRelation
)
MilitaryProcesses.kif 2450-2450
enemy
は
対称関係
の
instance
では %n
(
subrelation
enemy
inScopeOfInterest
)
MilitaryProcesses.kif 2451-2451
enemy
は
inScopeOfInterest
の
subrelation
では %n
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
工程
は
ArmedReconnaissance
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
enemy
認識エージェント
and
エンティティー
は
工程
の
time
の existence の
during
holds %n{ない}
工程
は
認識エージェント
が
エンティティー
エンティティー
は
Attack
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
工程
は
DefensiveInformationOperation
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
enemy
認識エージェント
and
認識エージェント
認識エージェント
が
認識エージェント
は
エンティティー
を
know
s %n{ない} を
desire
s %n{ない}
認識エージェント
が
認識エージェント
は
エンティティー
を
know
ない を
desire
s %n{ない}
工程
は
認識エージェント
は
エンティティー
を
know
ない の 目的 %n{ない}
(=>
(
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
コレクション
は
MilitaryForce
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
Imprisoning
の
instance
では %n
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
patient
では %n
enemy
AutonomousAgent
and
AutonomousAgent
eventLocated
工程
and
オブジェクト
WarState
は
オブジェクト
の
attribute
では %n
PrisonerOfWar
は
AutonomousAgent
の
attribute
では %n
(=>
(
enemy
?AGENT1 ?AGENT2)
(
and
(
believes
?AGENT1
(
attribute
?AGENT2
Enemy
))
(
believes
?AGENT2
(
attribute
?AGENT1
Enemy
))))
MilitaryProcesses.kif 2463-2469
enemy
認識エージェント
and
認識エージェント
認識エージェント
は
Enemy
は
認識エージェント
の
attribute
では %n を
believe
s %n{ない}
認識エージェント
は
Enemy
は
認識エージェント
の
attribute
では %n を
believe
s %n{ない}
(=>
(
enemy
?AGENT1 ?AGENT2)
(
dislikes
?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2455-2457
enemy
認識エージェント
and
AutonomousAgent
dislikes
認識エージェント
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
工程
は
AbortedMissionFn
AutonomousAgent
and
MilitaryOperation
の
instance
では %n
AutonomousAgent
CTION は
工程
を
cause
s %n{ない}
エンティティー
_A は
AutonomousAgent
CTION の
agent
では %n
エンティティー
_A は
MilitaryOperation
の
agent
では %n
enemy
エンティティー
_A and
エンティティー
_A
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
Agreement
は
CivilAffairsAgreement
の
instance
では %n
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
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
Agreement
は
CivilAffairsAgreement
の
instance
では %n
partyToAgreement
エンティティー
_MIL_THIS and
Agreement
エンティティー
_MIL_THIS は
MilitaryOrganization
の
instance
では %n
militaryOfArea
エンティティー
_MIL_THIS and
エンティティー
_THIS
エンティティー
_THIS は
国民
の
instance
では %n
エンティティー
_MIL_THIS は
エンティティー
_FRIENDLY に
located
して %n
エンティティー
_FRIENDLY は
国民
の
instance
では %n
エンティティー
_THIS は
エンティティー
_FRIENDLY と
equal
では
enemy
エンティティー
_THIS and
エンティティー
_FRIENDLY
エンティティー
_FRIENDLY
エンティティー
_FRIENDLY は
エンティティー
_FRIENDLY に
located
して %n
partyToAgreement
エンティティー
_FRIENDLY and
Agreement
エンティティー
_FRIENDLY は
MilitaryOrganization
の
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
工程
は
CounterproliferationWMD
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
工程
enemy
AutonomousAgent
and
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
工程
は
ProliferationWMD
の
instance
では %n
工程
は
工程
は
ProliferationWMD
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
attribute
?P
Enemy
)
(
exists
(?AGENT)
(
enemy
?AGENT ?P)))
MilitaryProcesses.kif 2471-2474
Enemy
は
AutonomousAgent
の
attribute
では %n
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
物理
は
CounterOperation
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
物理
の
agent
では %n
enemy
エンティティー
and
エンティティー
エンティティー
は
MilitaryOperation
の
subclass
では %n
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
物理
は
エンティティー
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
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
物理
は
CounterReconnaissance
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
物理
の
agent
では %n
enemy
エンティティー
and
エンティティー
エンティティー
は
ReconnaissanceOperation
の
subclass
では %n
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
物理
は
エンティティー
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
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
物理
は
CounterTerrorism
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
物理
の
agent
では %n
enemy
エンティティー
and
エンティティー
エンティティー
は
Terrorism
の
subclass
では %n
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
物理
は
エンティティー
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
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
は
HostNation
の
instance
では %n
工程
組織
,
地政学的地域
and
MilitaryOrganization
地政学的地域
は
国民
の
instance
では %n
MilitaryOrganization
は
MilitaryForce
の
instance
では %n
militaryOfArea
MilitaryOrganization
and
地政学的地域
組織
は組織
MilitaryOrganization
の一部では %n
AutonomousAgent
は
地政学的地域
と
equal
では
enemy
AutonomousAgent
and
地政学的地域
工程
は
取得
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
組織
は
工程
の
patient
では %n
組織
は
MilitaryForce
の
instance
では %n
組織
は
AutonomousAgent
に
located
して %n
(=>
(
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
エンティティー
は
Soccer
の
instance
では %n
コレクション
コレクション
,
AutonomousAgent
and
AutonomousAgent
コレクション
は
GroupOfPeople
の
instance
では %n
memberCount
コレクション
and 11
コレクション
は
GroupOfPeople
の
instance
では %n
memberCount
コレクション
and 11
コレクション
は
コレクション
と
equal
では
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
コレクション
の
member
では %n
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