MaleLifeExpectancyAtBirthFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MaleLifeExpectancyAtBirthFn

MaleLifeExpectancyAtBirthFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 349-352
No TPTP formula. May not be expressible in strict first order.	People.kif 346-346	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 347-347	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 345-345	Male life expectancy at birth is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	People.kif 348-348	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 1603-1603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1602-1602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1601-1601
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35863-35863
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35862-35862
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35861-35861

antecedent

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

People.kif 357-390

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 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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