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
militaryOfArea
の数値 1 引数は
MilitaryOrganization
の
instance
では %n
(
domain
militaryOfArea
2
GeopoliticalArea
)
Military.kif 826-826
militaryOfArea
の数値 2 引数は
地政学的地域
の
instance
では %n
(
instance
militaryOfArea
BinaryPredicate
)
Military.kif 824-824
militaryOfArea
は
2進述語
の
instance
では %n
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
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
?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
工程
は
ForeignInternalDefense
の
instance
では %n
MilitaryOrganization
は
工程
の
agent
では %n
militaryOfArea
MilitaryOrganization
and
地政学的地域
AutonomousAgent
工程
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
HostNation
の
instance
では %n
AutonomousAgent
は
地政学的地域
と
equal
では
工程
は
維持
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 852-860
militaryAge
地政学的地域
and
実数
の
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
地政学的地域
物理
は
MilitaryOrganization
の
member
では %n
物理
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
(=>
(
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
militaryAge
地政学的地域
and
実数
の
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
地政学的地域
物理
は
MilitaryOrganization
の
member
では %n
実数
物理
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
consequent
(=>
(
and
(
instance
?ATTR
USMilitaryRank
)
(
attribute
?PERSON ?ATTR))
(
exists
(?MO)
(
and
(
member
?PERSON ?MO)
(
militaryOfArea
?MO
UnitedStates
))))
Military.kif 257-264
属性
は
USMilitaryRank
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
MilitaryOrganization
オブジェクト
は
MilitaryOrganization
の
member
では %n
militaryOfArea
MilitaryOrganization
and
UnitedStates
(=>
(
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
工程
は
ForeignInternalDefense
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
エンティティー
エンティティー
エンティティー
は
学習
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
militaryOfArea
エンティティー
and
AutonomousAgent
エンティティー
は
MilitaryForce
の
instance
では %n
エンティティー
は
AutonomousAgent
に
located
して %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
?MILITARY
MilitaryOrganization
)
(
exists
(?AREA)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
militaryOfArea
?MILITARY ?AREA))))
Military.kif 788-793
MilitaryOrganization
は
MilitaryOrganization
の
instance
では %n
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
militaryOfArea
MilitaryOrganization
and
地政学的地域
appearance as argument number 0
(
militaryOfArea
USMilitary
UnitedStates
)
MilitaryProcesses.kif 952-952
militaryOfArea
USMilitary
and
UnitedStates
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