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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 domain AvailableForMilitaryServiceMaleFn, 1 and 地政学的地域
(instance AvailableForMilitaryServiceMaleFn UnaryFunction) Military.kif 859-859 instance AvailableForMilitaryServiceMaleFn and 1変数関数
(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861 range AvailableForMilitaryServiceMaleFn and 整数

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 termFormat EnglishLanguage, AvailableForMilitaryServiceMaleFn and "available for military service male"

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 equal AvailableForMilitaryServiceMaleFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Male militaryAge 地政学的地域 and エンティティー age 記号文字列 and エンティティー greaterThanOrEqualTo エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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