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 825-827
(
domain
militaryAge
1
GeopoliticalArea
)
Military.kif 828-828
(
domain
militaryAge
2
TimeDuration
)
Military.kif 829-829
(
instance
militaryAge
BinaryPredicate
)
Military.kif 824-824
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 843-851
(=>
(
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
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 863-872
(
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 886-897
(
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 924-937
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