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
O argumento numero 1 de
militaryAge
e' uma
instancia
de
Area Geopolitica
(
domain
militaryAge
2
TimeDuration
)
Military.kif 838-838
O argumento numero 2 de
militaryAge
e' uma
instancia
de
Duracao Temporal
(
instance
militaryAge
BinaryPredicate
)
Military.kif 833-833
militaryAge
e' uma
instancia
de
Predicado Binario
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
militaryAge
Area Geopolitica
and
Numero Real
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Fisico
e'
membro
de
MilitaryOrganization
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
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
militaryAge
Area Geopolitica
and
Numero Real
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Fisico
e'
membro
de
MilitaryOrganization
Numero Real
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
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
AvailableForMilitaryServiceMaleFn
Area Geopolitica
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(
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
FitForMilitaryServiceMaleFn
Area Geopolitica
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(
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
ReachingMilitaryAgeAnnuallyMaleFn
Area Geopolitica
and
Ano
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
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