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
军事时代
的 1 数量 是
地缘政治区域
的
instance
(
domain
militaryAge
2
TimeDuration
)
Military.kif 838-838
军事时代
的 2 数量 是
持续时间
的
instance
(
instance
militaryAge
BinaryPredicate
)
Military.kif 833-833
军事时代
是
二元谓语
的
instance
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
如果
实数
年持续时间
是
地缘政治区域
的
military
年纪 和
那个 地缘政治区域
是
军事组织
的
military
区域 和
物理
是
那个 军事组织
的
member
和
那个 物理
的
age
是
另一个 实数
年持续时间
,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
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
如果
实数
年持续时间
是
地缘政治区域
的
military
年纪 和
那个 地缘政治区域
是
军事组织
的
military
区域 和
物理
是
那个 军事组织
的
member
,
然后 有存在
另一个 实数
这样
那个 物理
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
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
地缘政治区域
的
available
军事服务男性
equal
符号串
所描述的类别
instance
的数量
(
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
地缘政治区域
的
fit
对于军服务男性
equal
符号串
所描述的类别
instance
的数量
(
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
地缘政治区域
和
年
每年的
reaching
军事男性年龄
equal
符号串
所描述的类别
instance
的数量
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