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
Le nombre 1 argument de
militaryOfArea
est une
instance
de
MilitaryOrganization
(
domain
militaryOfArea
2
GeopoliticalArea
)
Military.kif 826-826
Le nombre 2 argument de
militaryOfArea
est une
instance
de
secteur g�opolitique
(
instance
militaryOfArea
BinaryPredicate
)
Military.kif 824-824
militaryOfArea
est une
instance
de
pr�dicat binaire
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
est une
instance
de
CivilAffairsAgreement
partyToAgreement
entit�
_MIL_THIS and
Agreement
entit�
_MIL_THIS est une
instance
de
MilitaryOrganization
militaryOfArea
entit�
_MIL_THIS and
entit�
_THIS
entit�
_THIS est une
instance
de
nation
entit�
_MIL_THIS est
situ
� �
entit�
_FRIENDLY
entit�
_FRIENDLY est une
instance
de
nation
entit�
_THIS est
entit�
_FRIENDLY
enemy
entit�
_THIS and
entit�
_FRIENDLY
entit�
_FRIENDLY
entit�
_FRIENDLY est
situ
� �
entit�
_FRIENDLY
partyToAgreement
entit�
_FRIENDLY and
Agreement
entit�
_FRIENDLY est une
instance
de
MilitaryOrganization
(=>
(
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
Processus
est une
instance
de
ForeignInternalDefense
processus
est un
agent
de
MilitaryOrganization
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
HostNation
AutonomousAgent
est
secteur g�opolitique
processus
est une
instance
de
maintenir
processus
est un
agent
de
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
militaryAge
secteur g�opolitique
and
nombre r�el
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
physique
est un
membre
de
MilitaryOrganization
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
secteur g�opolitique
and
nombre r�el
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
physique
est un
membre
de
MilitaryOrganization
nombre r�el
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
consequent
(=>
(
and
(
instance
?ATTR
USMilitaryRank
)
(
attribute
?PERSON ?ATTR))
(
exists
(?MO)
(
and
(
member
?PERSON ?MO)
(
militaryOfArea
?MO
UnitedStates
))))
Military.kif 257-264
Attribut
est une
instance
de
USMilitaryRank
attribut
est un
attribut
de
objet
MilitaryOrganization
objet
est un
membre
de
MilitaryOrganization
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
Processus
est une
instance
de
ForeignInternalDefense
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
entit�
est une
instance
de
apprendre
entit�
exp
�rimente
entit�
entit�
est un
agent
de
AutonomousAgent
militaryOfArea
entit�
and
AutonomousAgent
entit�
est une
instance
de
MilitaryForce
entit�
est
situ
� �
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
est une
instance
de
HostNation
processus
organisation
,
secteur g�opolitique
and
MilitaryOrganization
secteur g�opolitique
est une
instance
de
nation
MilitaryOrganization
est une
instance
de
MilitaryForce
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
organisation
est une partie de l'organization
MilitaryOrganization
AutonomousAgent
est
secteur g�opolitique
enemy
AutonomousAgent
and
secteur g�opolitique
processus
est une
instance
de
obtenir
processus
est un
agent
de
AutonomousAgent
organisation
est un
patient
de
processus
organisation
est une
instance
de
MilitaryForce
organisation
est
situ
� �
AutonomousAgent
(=>
(
instance
?MILITARY
MilitaryOrganization
)
(
exists
(?AREA)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
militaryOfArea
?MILITARY ?AREA))))
Military.kif 788-793
MilitaryOrganization
est une
instance
de
MilitaryOrganization
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
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