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
The number 1 argument of
military of area
is an
instance
of
military organization
(
domain
militaryOfArea
2
GeopoliticalArea
)
Military.kif 826-826
The number 2 argument of
military of area
is an
instance
of
geopolitical area
(
instance
militaryOfArea
BinaryPredicate
)
Military.kif 824-824
military of area
is an
instance
of
binary predicate
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
If
an agreement
is an
instance
of
civil affairs agreement
and
the agreement
is a
party
to agreement of
an entity
_MIL_THIS and
the entity
_MIL_THIS is an
instance
of
military organization
and
another entity
_THIS is a
military
of area of
the entity
_MIL_THIS and
the other entity
_THIS is an
instance
of
nation
and
the entity
_MIL_THIS is
located
at
the other entity
_FRIENDLY and
the other entity
_FRIENDLY is an
instance
of
nation
,
then
the other entity
_THIS is not
equal
to
the other entity
_FRIENDLY and
the other entity
_THIS and
the other entity
_FRIENDLY are not enemies of each other and there exists
the entity
_FRIENDLY such that
the entity
_FRIENDLY is
located
at
the other entity
_FRIENDLY and
the agreement
is a
party
to agreement of
the entity
_FRIENDLY and
the entity
_FRIENDLY is not an
instance
of
military organization
(=>
(
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
If
a process
is an
instance
of
foreign internal defense
and
a military organization
is an
agent
of
the process
and
a geopolitical area
is a
military
of area of
the military organization
,
then there exist
an agent
and
another process
such that
the agent
experience
s
the process
and
the agent
is an
instance
of
host nation
and
the agent
is not
equal
to
the geopolitical area
and
the other process
is an
instance
of
maintaining
and
the agent
is an
agent
of
the other process
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 852-860
If
a real number
year duration
(s) is a
military
age of
a geopolitical area
and
the geopolitical area
is a
military
of area of
a military organization
and
a physical
is a
member
of
the military organization
and the
age
of
the physical
is
another real number
year duration
(s),
then
the other real number
is
greater
than or equal to
the real number
(=>
(
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
If
a real number
year duration
(s) is a
military
age of
a geopolitical area
and
the geopolitical area
is a
military
of area of
a military organization
and
a physical
is a
member
of
the military organization
,
then there exists
another real number
such that the
age
of
the physical
is
the other real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
consequent
(=>
(
and
(
instance
?ATTR
USMilitaryRank
)
(
attribute
?PERSON ?ATTR))
(
exists
(?MO)
(
and
(
member
?PERSON ?MO)
(
militaryOfArea
?MO
UnitedStates
))))
Military.kif 257-264
If
an attribute
is an
instance
of
US military rank
and
the attribute
is an
attribute
of
an object
,
then there exists
a military organization
such that
the object
is a
member
of
the military organization
and
united states
is a
military
of area of
the military organization
(=>
(
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
If
a process
is an
instance
of
foreign internal defense
and
an agent
is an
agent
of
the process
and
another agent
experience
s
the process
,
then
the process
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
learning
and
the entity
experience
s
the other entity
and
the agent
is an
agent
of
the other entity
and
the other agent
is a
military
of area of
the entity
or
the entity
is an
instance
of
military force
and
the entity
is
located
at
the other agent
(=>
(
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
If
an agent
is an
instance
of
host nation
,
then there exist
a process
,
an organization
,, ,
a geopolitical area
and
a military organization
such that
the geopolitical area
is an
instance
of
nation
and
the military organization
is an
instance
of
military force
and
the geopolitical area
is a
military
of area of
the military organization
and
the organization
is a part of the organization
the military organization
and
the agent
is not
equal
to
the geopolitical area
and
the agent
and
the geopolitical area
are not enemies of each other and
the process
is an
instance
of
getting
and
the agent
is an
agent
of
the process
and
the organization
is a
patient
of
the process
and
the organization
is an
instance
of
military force
and
the organization
is
located
at
the agent
(=>
(
instance
?MILITARY
MilitaryOrganization
)
(
exists
(?AREA)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
militaryOfArea
?MILITARY ?AREA))))
Military.kif 788-793
If
a military organization
is an
instance
of
military organization
,
then there exists
a geopolitical area
such that
the geopolitical area
is an
instance
of
geopolitical area
and
the geopolitical area
is a
military
of area of
the military organization
appearance as argument number 0
(
militaryOfArea
USMilitary
UnitedStates
)
MilitaryProcesses.kif 952-952
United states
is a
military
of area of
US 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