Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AvailableForMilitaryServiceMaleFn

Sigma KEE - AvailableForMilitaryServiceMaleFn
AvailableForMilitaryServiceMaleFn

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


(documentation AvailableForMilitaryServiceMaleFn EnglishLanguage "(AvailableForMilitaryServiceMaleFn ?AREA) denotes the Integer that represents the count of the population of males of military age in the GeopoliticalArea ?AREA.") Military.kif 862-864
(domain AvailableForMilitaryServiceMaleFn 1 GeopoliticalArea) Military.kif 860-860
(instance AvailableForMilitaryServiceMaleFn UnaryFunction) Military.kif 859-859
(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861

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


(format EnglishLanguage AvailableForMilitaryServiceMaleFn "the available for military service male of %1") domainEnglishFormat.kif 65-65
(termFormat EnglishLanguage AvailableForMilitaryServiceMaleFn "available for military service male") domainEnglishFormat.kif 1990-1990

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 867-876


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners