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
militaryAge
Sigma KEE - militaryAge
militaryAge
appearance as argument number 1
(
documentation
militaryAge
EnglishLanguage
"(
militaryAge
?AREA ?AGE) means that in the
GeopoliticalArea
?AREA, a person must be ?AGE or older in order to be a member of the military of the ?AREA.")
Military.kif 834-836
(
domain
militaryAge
1
GeopoliticalArea
)
Military.kif 837-837
The number 1 argument of
military age
is an
instance
of
geopolitical area
(
domain
militaryAge
2
TimeDuration
)
Military.kif 838-838
The number 2 argument of
military age
is an
instance
of
time duration
(
instance
militaryAge
BinaryPredicate
)
Military.kif 833-833
military age
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
militaryAge
"%2 %n 是 %1 的 military 年纪")
domainEnglishFormat.kif 1715-1715
(
format
ChineseTraditionalLanguage
militaryAge
"%2 %n 是 %1 的 military 年紀")
domainEnglishFormat.kif 1714-1714
(
format
EnglishLanguage
militaryAge
"%2 is %n a military age of %1")
domainEnglishFormat.kif 1713-1713
(
termFormat
ChineseLanguage
militaryAge
"军事时代")
domainEnglishFormat.kif 37535-37535
(
termFormat
ChineseTraditionalLanguage
militaryAge
"軍事時代")
domainEnglishFormat.kif 37534-37534
(
termFormat
EnglishLanguage
militaryAge
"military age")
domainEnglishFormat.kif 37533-37533
antecedent
(=>
(
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
statement
(
equal
(
AvailableForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 872-881
The
available
for military service male of
a geopolitical area
is
equal
to the number of
instances
in the
class
described by
a symbolic string
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
The
fit
for military service male of
a geopolitical area
is
equal
to the number of
instances
in the
class
described by
a symbolic string
(
equal
(
ReachingMilitaryAgeAnnuallyMaleFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
equal
?AGEMINUSONE
(
SubtractionFn
?AGE 1))
(
holdsDuring
?YEAR
(
or
(
age
?PERSON ?AGEMINUSONE)
(
age
?PERSON ?AGE)))
(
equal
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 933-946
The
reaching
military age annually male of
a geopolitical area
and
a year
is
equal
to the number of
instances
in the
class
described by
a symbolic string
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