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
O argumento numero 1 de
militaryOfArea
e' uma
instancia
de
MilitaryOrganization
(
domain
militaryOfArea
2
GeopoliticalArea
)
Military.kif 826-826
O argumento numero 2 de
militaryOfArea
e' uma
instancia
de
Area Geopolitica
(
instance
militaryOfArea
BinaryPredicate
)
Military.kif 824-824
militaryOfArea
e' uma
instancia
de
Predicado Binario
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
e' uma
instancia
de
CivilAffairsAgreement
partyToAgreement
Entidade
_MIL_THIS and
Agreement
Entidade
_MIL_THIS e' uma
instancia
de
MilitaryOrganization
militaryOfArea
Entidade
_MIL_THIS and
Entidade
_THIS
Entidade
_THIS e' uma
instancia
de
Nacao
Entidade
_MIL_THIS e'
situado
em
Entidade
_FRIENDLY
Entidade
_FRIENDLY e' uma
instancia
de
Nacao
Entidade
_THIS e'
igual
a
Entidade
_FRIENDLY
enemy
Entidade
_THIS and
Entidade
_FRIENDLY
Entidade
_FRIENDLY
Entidade
_FRIENDLY e'
situado
em
Entidade
_FRIENDLY
partyToAgreement
Entidade
_FRIENDLY and
Agreement
Entidade
_FRIENDLY e' uma
instancia
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
Processo
e' uma
instancia
de
ForeignInternalDefense
Processo
e' um
agente
de
MilitaryOrganization
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
AutonomousAgent
Processo
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
HostNation
AutonomousAgent
e'
igual
a
Area Geopolitica
Processo
e' uma
instancia
de
Preservar
Processo
e' um
agente
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
Area Geopolitica
and
Numero Real
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Fisico
e'
membro
de
MilitaryOrganization
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
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
Area Geopolitica
and
Numero Real
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Fisico
e'
membro
de
MilitaryOrganization
Numero Real
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
consequent
(=>
(
and
(
instance
?ATTR
USMilitaryRank
)
(
attribute
?PERSON ?ATTR))
(
exists
(?MO)
(
and
(
member
?PERSON ?MO)
(
militaryOfArea
?MO
UnitedStates
))))
Military.kif 257-264
Atributo
e' uma
instancia
de
USMilitaryRank
Atributo
e' um
atributo
de
Objeto
MilitaryOrganization
Objeto
e'
membro
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
Processo
e' uma
instancia
de
ForeignInternalDefense
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Aprender
Entidade
experimenta
Entidade
Entidade
e' um
agente
de
AutonomousAgent
militaryOfArea
Entidade
and
AutonomousAgent
Entidade
e' uma
instancia
de
MilitaryForce
Entidade
e'
situado
em
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
e' uma
instancia
de
HostNation
Processo
Organizacao
,
Area Geopolitica
and
MilitaryOrganization
Area Geopolitica
e' uma
instancia
de
Nacao
MilitaryOrganization
e' uma
instancia
de
MilitaryForce
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Organizacao
e' uma parte da organizacao
MilitaryOrganization
AutonomousAgent
e'
igual
a
Area Geopolitica
enemy
AutonomousAgent
and
Area Geopolitica
Processo
e' uma
instancia
de
Obter
Processo
e' um
agente
de
AutonomousAgent
Organizacao
e' um
patient
de
Processo
Organizacao
e' uma
instancia
de
MilitaryForce
Organizacao
e'
situado
em
AutonomousAgent
(=>
(
instance
?MILITARY
MilitaryOrganization
)
(
exists
(?AREA)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
militaryOfArea
?MILITARY ?AREA))))
Military.kif 788-793
MilitaryOrganization
e' uma
instancia
de
MilitaryOrganization
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
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