TreeView Knowledge Base Browser - MaleLifeExpectancyAtBirthFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 364-367
No TPTP formula. May not be expressible in strict first order.	People.kif 361-361	The number 1 argument of male life expectancy at birth is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 362-362	The number 2 argument of male life expectancy at birth is an instance of year
No TPTP formula. May not be expressible in strict first order.	People.kif 360-360	Male life expectancy at birth is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	People.kif 363-363	The range of male life expectancy at birth is an instance of real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1599-1599
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1598-1598
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1597-1597
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35820-35820
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35819-35819
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35818-35818

antecedent

No TPTP formula. May not be expressible in strict first order.

People.kif 372-405

A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM