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
InvasiveVentilator
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 818-820
(
domain
militaryOfArea
1
MilitaryOrganization
)
Military.kif 816-816
Il numero 1 argomenti di
militaryOfArea
è un
istanza
di
MilitaryOrganization
(
domain
militaryOfArea
2
GeopoliticalArea
)
Military.kif 817-817
Il numero 2 argomenti di
militaryOfArea
è un
istanza
di
AreaGeopolitica
(
instance
militaryOfArea
BinaryPredicate
)
Military.kif 815-815
militaryOfArea
è un'
istanza
di
PredicatoBinario
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
è un'
istanza
di
CivilAffairsAgreement
partyToAgreement
Entit�
_MIL_THIS and
Agreement
Entit�
_MIL_THIS è un'
istanza
di
MilitaryOrganization
militaryOfArea
Entit�
_MIL_THIS and
Entit�
_THIS
Entit�
_THIS è un'
istanza
di
Nazione
Entit�
_MIL_THIS è
localizzato
in
Entit�
_FRIENDLY
Entit�
_FRIENDLY è un'
istanza
di
Nazione
Entit�
_THIS is
uguale
a
Entit�
_FRIENDLY
enemy
Entit�
_THIS and
Entit�
_FRIENDLY
Entit�
_FRIENDLY
Entit�
_FRIENDLY è
localizzato
in
Entit�
_FRIENDLY
partyToAgreement
Entit�
_FRIENDLY and
Agreement
Entit�
_FRIENDLY è un'
istanza
di
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
è un'
istanza
di
ForeignInternalDefense
Processo
è un
agente
di
MilitaryOrganization
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
AutonomousAgent
Processo
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
HostNation
AutonomousAgent
is
uguale
a
AreaGeopolitica
Processo
è un'
istanza
di
Mantenere
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 843-851
militaryAge
AreaGeopolitica
and
NumeroReale
YearDuration
(s
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
Entit�Concreta
è un
membro
di
MilitaryOrganization
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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 831-841
militaryAge
AreaGeopolitica
and
NumeroReale
YearDuration
(s
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
Entit�Concreta
è un
membro
di
MilitaryOrganization
NumeroReale
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
consequent
(=>
(
and
(
instance
?ATTR
USMilitaryRank
)
(
attribute
?PERSON ?ATTR))
(
exists
(?MO)
(
and
(
member
?PERSON ?MO)
(
militaryOfArea
?MO
UnitedStates
))))
Military.kif 257-264
Attributo
è un'
istanza
di
USMilitaryRank
attribute
Oggetto
and
Attributo
MilitaryOrganization
Oggetto
è un
membro
di
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
è un'
istanza
di
ForeignInternalDefense
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Apprendere
Entit�
esperisce
s
Entit�
Entit�
è un
agente
di
AutonomousAgent
militaryOfArea
Entit�
and
AutonomousAgent
Entit�
è un'
istanza
di
MilitaryForce
Entit�
è
localizzato
in
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
è un'
istanza
di
HostNation
Processo
Organizzazione
,
AreaGeopolitica
and
MilitaryOrganization
AreaGeopolitica
è un'
istanza
di
Nazione
MilitaryOrganization
è un'
istanza
di
MilitaryForce
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
subOrganization
Organizzazione
and
MilitaryOrganization
AutonomousAgent
is
uguale
a
AreaGeopolitica
enemy
AutonomousAgent
and
AreaGeopolitica
Processo
è un'
istanza
di
Ottenere
Processo
è un
agente
di
AutonomousAgent
Organizzazione
è un
paziente
di
Processo
Organizzazione
è un'
istanza
di
MilitaryForce
Organizzazione
è
localizzato
in
AutonomousAgent
(=>
(
instance
?MILITARY
MilitaryOrganization
)
(
exists
(?AREA)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
militaryOfArea
?MILITARY ?AREA))))
Military.kif 779-784
MilitaryOrganization
è un'
istanza
di
MilitaryOrganization
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
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