Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MaleToFemaleRatioFn |
| appearance as argument number 1 |
|
| s__instance(s__MaleToFemaleRatioFn,s__UnaryFunction)
|
People.kif 225-225 | Male to female ratio is an instance of unary function |
| s__domain(s__MaleToFemaleRatioFn,n__1,s__GeopoliticalArea)
|
People.kif 226-226 | The number 1 argument of male to female ratio is an instance of geopolitical area |
| s__range(s__MaleToFemaleRatioFn,s__RealNumber)
|
People.kif 227-227 | The range of male to female ratio is an instance of real number |
| s__documentation(s__MaleToFemaleRatioFn, s__EnglishLanguage, "(MaleToFemaleRatioFn ?AREA) denotes the RealNumber that represents the ratio of male to female individuals in the population of the GeopoliticalArea ?AREA_ This is the number of males for each female for the total population_ Sex ratio at birth has recently emerged as an indicator of certain kinds of sex discrimination in some countries_ For instance, high sex ratios at birth in some Asian countries are now attributed to sex_selective abortion and infanticide due to a strong preference for sons_ This will affect future marriage patterns and fertility patterns_ Eventually it could cause unrest among young adult males who are unable to find partners_") | People.kif 228-237 | The range of male to female ratio is an instance of real number |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage, s__MaleToFemaleRatioFn, "the male to female ratio of %1") | domainEnglishFormat.kif 1605-1605 | |
| s__format(s__ChineseTraditionalLanguage, s__MaleToFemaleRatioFn, "%1 的 male 對母性比率") | domainEnglishFormat.kif 1606-1606 | |
| s__format(s__ChineseLanguage, s__MaleToFemaleRatioFn, "%1 的 male 对母性比率") | domainEnglishFormat.kif 1607-1607 | |
| s__termFormat(s__EnglishLanguage, s__MaleToFemaleRatioFn, "male to female ratio") | domainEnglishFormat.kif 35843-35843 | |
| s__termFormat(s__ChineseTraditionalLanguage, s__MaleToFemaleRatioFn, "男女比例") | domainEnglishFormat.kif 35844-35844 | |
| s__termFormat(s__ChineseLanguage, s__MaleToFemaleRatioFn, "男女比例") | domainEnglishFormat.kif 35845-35845 |
| antecedent |
|
|
| ! [V__AREA : $i,V__FEMALE : $i,V__FEMALECOUNT : $int,V__MALE : $i,V__MALECOUNT : $int,V__REALNUMBER : $real] : ((s__MaleToFemaleRatioFn(V__AREA) = V__REALNUMBER => (V__MALECOUNT = s__CardinalityFn(s__KappaFn(V__MALE, (s__instance(V__MALE, s__Human) & s__attribute(V__MALE, s__Male) & s__inhabits(V__MALE, V__AREA)))) & V__FEMALECOUNT = s__CardinalityFn(s__KappaFn(V__FEMALE, (s__instance(V__FEMALE, s__Human) & s__attribute(V__FEMALE, s__Female) & s__inhabits(V__FEMALE, V__AREA)))) & s__DivisionFn(V__MALECOUNT, V__FEMALECOUNT) = V__REALNUMBER))) | People.kif 240-257 | If equal the male to female ratio of X and Y, then equal Z and the number of instances in the class described by W, equal V and the number of instances in the class described by U, and equal Z, V, and Y |
|