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
Die Zahl 1 Argument von
militaryOfArea
ist ein
fall
von
MilitaryOrganization
%n{nicht}
(
domain
militaryOfArea
2
GeopoliticalArea
)
Military.kif 826-826
Die Zahl 2 Argument von
militaryOfArea
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
instance
militaryOfArea
BinaryPredicate
)
Military.kif 824-824
militaryOfArea
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
Agreement
ist ein
fall
von
CivilAffairsAgreement
%n{nicht} und
partyToAgreement
entity
_MIL_THIS and
** Agreement
und
** entity
_MIL_THIS ist ein
fall
von
MilitaryOrganization
%n{nicht} und
militaryOfArea
** entity
_MIL_THIS and
** entity
_THIS und
** ** entity
_THIS ist ein
fall
von
Nation
%n{nicht} und
** entity
_MIL_THIS
befindet
sich an %n{nicht} und
** ** entity
_FRIENDLY ist ein
fall
von
Nation
%n{nicht},
dann
** ** entity
_THIS ist gleich
** ** entity
_FRIENDLY nicht und
enemy
** ** entity
_THIS and
** ** entity
_FRIENDLY und es gibt
** entity
_FRIENDLY um
** entity
_FRIENDLY
befindet
sich an %n{nicht} und
partyToAgreement
** entity
_FRIENDLY and
** Agreement
und
** entity
_FRIENDLY ist ein
fall
von
MilitaryOrganization
nicht
(=>
(
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
Wenn
Process
ist ein
fall
von
ForeignInternalDefense
%n{nicht} und
** Process
ist der
agent
von
MilitaryOrganization
%n{nicht} und
militaryOfArea
** MilitaryOrganization
and
GeopoliticalArea
,
dann es gibt
AutonomousAgent
und
** Process
um
** AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
HostNation
%n{nicht} und
** AutonomousAgent
ist gleich
** GeopoliticalArea
nicht und
** ** Process
ist ein
fall
von
Maintaining
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 852-860
Wenn
militaryAge
GeopoliticalArea
and
RealNumber
YearDuration
(s) und
militaryOfArea
MilitaryOrganization
and
** GeopoliticalArea
und
Physical
ist ein
Mitglied
von
** MilitaryOrganization
%n{nicht} und das
alter
von
** Physical
ist
** RealNumber
YearDuration
(s) %n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
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
Wenn
militaryAge
GeopoliticalArea
and
RealNumber
YearDuration
(s) und
militaryOfArea
MilitaryOrganization
and
** GeopoliticalArea
und
Physical
ist ein
Mitglied
von
** MilitaryOrganization
%n{nicht},
dann es gibt
** RealNumber
um das
alter
von
** Physical
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
consequent
(=>
(
and
(
instance
?ATTR
USMilitaryRank
)
(
attribute
?PERSON ?ATTR))
(
exists
(?MO)
(
and
(
member
?PERSON ?MO)
(
militaryOfArea
?MO
UnitedStates
))))
Military.kif 257-264
Wenn
Attribute
ist ein
fall
von
USMilitaryRank
%n{nicht} und
** Attribute
ist ein
attribut
von
Object
%n{nicht},
dann es gibt
MilitaryOrganization
um
** Object
ist ein
Mitglied
von
** MilitaryOrganization
%n{nicht} und
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
Wenn
Process
ist ein
fall
von
ForeignInternalDefense
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
** Process
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
Learning
%n{nicht} und
** entity
erfaehrt
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
militaryOfArea
** entity
and
** ** AutonomousAgent
oder
** entity
ist ein
fall
von
MilitaryForce
%n{nicht} und
** entity
befindet
sich an %n{nicht} %n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
HostNation
%n{nicht},
dann es gibt
Process
,
Organization
,, ,
GeopoliticalArea
, and und
MilitaryOrganization
um
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** MilitaryOrganization
ist ein
fall
von
MilitaryForce
%n{nicht} und
militaryOfArea
** MilitaryOrganization
and
** GeopoliticalArea
und
subOrganization
** Organization
and
** MilitaryOrganization
und
** AutonomousAgent
ist gleich
** GeopoliticalArea
nicht und
enemy
** AutonomousAgent
and
** GeopoliticalArea
und
** Process
ist ein
fall
von
Getting
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Organization
ist ein
patient
von
** Process
%n{nicht} und
** Organization
ist ein
fall
von
MilitaryForce
%n{nicht} und
** Organization
befindet
sich an %n{nicht}
(=>
(
instance
?MILITARY
MilitaryOrganization
)
(
exists
(?AREA)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
militaryOfArea
?MILITARY ?AREA))))
Military.kif 788-793
Wenn
MilitaryOrganization
ist ein
fall
von
MilitaryOrganization
%n{nicht},
dann es gibt
GeopoliticalArea
um
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
militaryOfArea
** MilitaryOrganization
and
** GeopoliticalArea
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