TreeView Knowledge Base Browser - LifeExpectancyAtBirthFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 317-324
No TPTP formula. May not be expressible in strict first order.	People.kif 314-314	The number 1 argument of life expectancy at birth is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 315-315	The number 2 argument of life expectancy at birth is an instance of year
No TPTP formula. May not be expressible in strict first order.	People.kif 313-313	Life expectancy at birth is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	People.kif 316-316	The range of 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 1531-1531
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1530-1530
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1529-1529
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34320-34320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34319-34319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34318-34318

antecedent

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

People.kif 327-357

The life expectancy at birth of a geopolitical area and the year an integer 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