Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  musician

 Sigma KEE - militaryAge
militaryAge

appearance as argument number 1
-------------------------


(instance militaryAge BinaryPredicate) Military.kif 1097-1097 military age is an instance of binary predicate
(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 1098-1100 military age is an instance of binary predicate
(domain militaryAge 1 GeopoliticalArea) Military.kif 1101-1101 The number 1 argument of military age is an instance of geopolitical area
(domain militaryAge 2 TimeDuration) Military.kif 1102-1102 The number 2 argument of military age is an instance of time duration

appearance as argument number 2
-------------------------


(format EnglishLanguage militaryAge "%2 is %n a military age of %1") domainEnglishFormat.kif 1717-1717
(format ChineseTraditionalLanguage militaryAge "%2 %n 是 %1 的 military 年紀") domainEnglishFormat.kif 1718-1718
(format ChineseLanguage militaryAge "%2 %n 是 %1 的 military 年纪") domainEnglishFormat.kif 1719-1719
(termFormat EnglishLanguage militaryAge "military age") domainEnglishFormat.kif 37535-37535
(termFormat ChineseTraditionalLanguage militaryAge "軍事時代") domainEnglishFormat.kif 37536-37536
(termFormat ChineseLanguage militaryAge "军事时代") domainEnglishFormat.kif 37537-37537

antecedent
-------------------------


(=>
    (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 1104-1114 If X year duration(s) is a military age of Y, Y is a military of area of Z, and W is a member of Z, then there exists V such that the age of W is V year duration(s) and V is greater than or equal to X
(=>
    (and
        (militaryAge ?AREA
            (MeasureFn ?MILITARYAGE YearDuration))
        (militaryOfArea ?MILITARY ?AREA)
        (member ?AGENT ?MILITARY)
        (age ?AGENT
            (MeasureFn ?AGE YearDuration)))
    (greaterThanOrEqualTo ?AGE ?MILITARYAGE))		 Military.kif 1116-1124 If X year duration(s) is a military age of Y, Y is a military of area of Z, W is a member of Z, and the age of W is V year duration(s), then V is greater than or equal to X

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 1136-1145 equal the available for military service male of X and the number of instances in the class described by Y
(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 1159-1170 equal the fit for military service male of X and the number of instances in the class described by Y
(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 1197-1210 equal the reaching military age annually male of X, Y, and the number of instances in the class described by Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners