Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FemaleLifeExpectancyAtBirthFn |
| appearance as argument number 1 |
|
| (instance FemaleLifeExpectancyAtBirthFn BinaryFunction) | People.kif 427-427 | Female life expectancy at birth is an instance of binary function |
| (domain FemaleLifeExpectancyAtBirthFn 1 GeopoliticalArea) | People.kif 428-428 | The number 1 argument of female life expectancy at birth is an instance of geopolitical area |
| (domain FemaleLifeExpectancyAtBirthFn 2 Year) | People.kif 429-429 | The number 2 argument of female life expectancy at birth is an instance of year |
| (range FemaleLifeExpectancyAtBirthFn RealNumber) | People.kif 430-430 | The range of female life expectancy at birth is an instance of real number |
| (documentation FemaleLifeExpectancyAtBirthFn EnglishLanguage "(FealeLifeExpectancyAtBirthFn ?AREA ?YEAR) denotes the RealNumber that represents the average number of years to be lived by a group of female individuals born in the same year, if mortality at each age remains constant in the future.") | People.kif 431-434 | The range of female life expectancy at birth is an instance of real number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage FemaleLifeExpectancyAtBirthFn "the female life expectancy at birth of %1 and %2") | domainEnglishFormat.kif 997-997 | |
| (format ChineseTraditionalLanguage FemaleLifeExpectancyAtBirthFn "%1 和 %2 的 female 出生預期壽命") | domainEnglishFormat.kif 998-998 | |
| (format ChineseLanguage FemaleLifeExpectancyAtBirthFn "%1 和 %2 的 female 出生预期寿命") | domainEnglishFormat.kif 999-999 | |
| (termFormat EnglishLanguage FemaleLifeExpectancyAtBirthFn "female life expectancy at birth") | domainEnglishFormat.kif 23492-23492 | |
| (termFormat ChineseTraditionalLanguage FemaleLifeExpectancyAtBirthFn "女性出生時的預期壽命") | domainEnglishFormat.kif 23493-23493 | |
| (termFormat ChineseLanguage FemaleLifeExpectancyAtBirthFn "女性出生时的预期寿命") | domainEnglishFormat.kif 23494-23494 |
| antecedent |
|
|
| (=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 437-470 | If X is an instance of the year Y and equal the female life expectancy at birth of Z, X, and W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of list (3) length of V is an instance of U (4) P P is a member of VP is an instance of T (5) there doesn't exist O such that O is an instance of T (6) O is not a member of V (7) equal U (8) the number of instances in the class described by T (9) W is an average of V |
|