TreeView Knowledge Base Browser - FemaleLifeExpectancyAtBirthFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

FemaleLifeExpectancyAtBirthFn

Sigma KEE - FemaleLifeExpectancyAtBirthFn

FemaleLifeExpectancyAtBirthFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 397-400
No TPTP formula. May not be expressible in strict first order.	People.kif 394-394	The number 1 argument of female life expectancy at birth is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	People.kif 395-395	The number 2 argument of female life expectancy at birth is an instance of year
No TPTP formula. May not be expressible in strict first order.	People.kif 393-393	Female life expectancy at birth is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	People.kif 396-396	The range of female 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 999-999
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 998-998
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 997-997
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23498-23498
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23497-23497
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23496-23496

antecedent

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

People.kif 403-436

A year is an instance of the year an integer and the female 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