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
militaryOfArea
Sigma KEE - militaryOfArea
militaryOfArea
appearance as argument number 1
(
documentation
militaryOfArea
EnglishLanguage
"(
militaryOfArea
?MILITARY ?AREA) denotes that ?MILITARY is a
MilitaryOrganization
serving in defense of the
GeopoliticalArea
?AREA.")
Military.kif 827-829
(
domain
militaryOfArea
1
MilitaryOrganization
)
Military.kif 825-825
域
區域軍事
, 1 and
軍事組織
(
domain
militaryOfArea
2
GeopoliticalArea
)
Military.kif 826-826
域
區域軍事
, 2 and
GeopoliticalArea
(
instance
militaryOfArea
BinaryPredicate
)
Military.kif 824-824
例
區域軍事
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
militaryOfArea
"%2 %n 是 %1 的 military 区域")
domainEnglishFormat.kif 1735-1735
(
format
ChineseTraditionalLanguage
militaryOfArea
"%2 %n 是 %1 的 military 區域")
domainEnglishFormat.kif 1734-1734
(
format
EnglishLanguage
militaryOfArea
"%2 is %n a military of area of %1")
domainEnglishFormat.kif 1733-1733
(
termFormat
ChineseLanguage
militaryOfArea
"区域军事")
domainEnglishFormat.kif 37661-37661
(
termFormat
ChineseTraditionalLanguage
militaryOfArea
"區域軍事")
domainEnglishFormat.kif 37660-37660
(
termFormat
EnglishLanguage
militaryOfArea
"military of area")
domainEnglishFormat.kif 37659-37659
antecedent
(=>
(
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
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
militaryOfArea
?MIL ?NATION))
(
exists
(?HN ?MAINTAIN)
(
and
(
experiencer
?FID ?HN)
(
instance
?HN
HostNation
)
(
not
(
equal
?HN ?NATION))
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?HN))))
MilitaryProcesses.kif 1943-1955
例
Process
and
外國內部防禦
agent
Process
and
軍事組織
GeopoliticalArea
是
軍事組織
的
military
區域
AutonomousAgent
Process
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
主辦國
等於
AutonomousAgent
and
GeopoliticalArea
例
Process
and
Maintaining
agent
Process
and
AutonomousAgent
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 852-860
測量
RealNumber
and
年持續時間
是
GeopoliticalArea
的
military
年紀
GeopoliticalArea
是
軍事組織
的
military
區域
會員
Physical
and
軍事組織
年齡
Physical
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))))
Military.kif 840-850
測量
RealNumber
and
年持續時間
是
GeopoliticalArea
的
military
年紀
GeopoliticalArea
是
軍事組織
的
military
區域
會員
Physical
and
軍事組織
RealNumber
年齡
Physical
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
consequent
(=>
(
and
(
instance
?ATTR
USMilitaryRank
)
(
attribute
?PERSON ?ATTR))
(
exists
(?MO)
(
and
(
member
?PERSON ?MO)
(
militaryOfArea
?MO
UnitedStates
))))
Military.kif 257-264
例
Attribute
and
美國軍銜
attribute
Object
and
Attribute
軍事組織
會員
Object
and
軍事組織
美國
是
軍事組織
的
military
區域
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
例
Process
and
外國內部防禦
agent
Process
and
AutonomousAgent
體驗者
Process
and
AutonomousAgent
有目的
Process
and
entity
entity
例
entity
and
Learning
體驗者
entity
and
entity
agent
entity
and
AutonomousAgent
AutonomousAgent
是
entity
的
military
區域
例
entity
and
軍事力量
位於
entity
and
AutonomousAgent
(=>
(
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
?MILITARY
MilitaryOrganization
)
(
exists
(?AREA)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
militaryOfArea
?MILITARY ?AREA))))
Military.kif 788-793
例
軍事組織
and
軍事組織
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
GeopoliticalArea
是
軍事組織
的
military
區域
appearance as argument number 0
(
militaryOfArea
USMilitary
UnitedStates
)
MilitaryProcesses.kif 952-952
美國
是
美軍
的
military
區域
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