TreeView Knowledge Base Browser - LifeExpectancyAtBirthFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

LifeExpectancyAtBirthFn

Sigma KEE - LifeExpectancyAtBirthFn

LifeExpectancyAtBirthFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 300-307
No TPTP formula. May not be expressible in strict first order.	People.kif 297-297	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 298-298	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 296-296	Life expectancy at birth is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	People.kif 299-299	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 34337-34337
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34336-34336
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34335-34335

antecedent

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

People.kif 310-342

A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM

if the listITEM is a member of the list,
then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string

and the real number is an average of the list

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners