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 and
GeopoliticalArea
(
domain
militaryAge
2
TimeDuration
)
Military.kif 838-838
域
軍事時代
, 2 and
TimeDuration
(
instance
militaryAge
BinaryPredicate
)
Military.kif 833-833
例
軍事時代
and
BinaryPredicate
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
測量
RealNumber
and
年持續時間
是
GeopoliticalArea
的
military
年紀
GeopoliticalArea
是
軍事組織
的
military
區域
會員
Physical
and
軍事組織
年齡
Physical
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
(=>
(
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
測量
RealNumber
and
年持續時間
是
GeopoliticalArea
的
military
年紀
GeopoliticalArea
是
軍事組織
的
military
區域
會員
Physical
and
軍事組織
RealNumber
年齡
Physical
and
測量
RealNumber
and
年持續時間
大於或等於
RealNumber
and
RealNumber
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
等於
GeopoliticalArea
的
available
軍事服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
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
等於
GeopoliticalArea
的
fit
對於軍服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
子類
entity
and
MilitaryProcess
entity
是
SymbolicString
的
fit
軍事服務
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
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
等於
GeopoliticalArea
和
年
每年的
reaching
軍事男性年齡 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
entity
是
GeopoliticalArea
的
military
年紀
等於
entity
and
減法
entity
and 1
持有期間
年
and
年齡
SymbolicString
and
entity
年齡
SymbolicString
and
entity
等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
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