Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PopulationGrowthFn

 Sigma KEE - PopulationGrowthFn
PopulationGrowthFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 65-74
No TPTP formula. May not be expressible in strict first order. People.kif 62-62 The number 1 argument of population growth is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. People.kif 63-63 The number 2 argument of population growth is a subclass of year
No TPTP formula. May not be expressible in strict first order. People.kif 61-61 Population growth is an instance of binary function
No TPTP formula. May not be expressible in strict first order. People.kif 64-64 The range of population growth is an instance of real number

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1995-1995
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1994-1994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1993-1993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46652-46652
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46651-46651
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46650-46650

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 78-90 The population growth of a geopolitical area and the year an integer is equal to a real number if and only if there exist a kind of year and another kind of year such that (the integer and another integer) is equal to 1 and a kind of year is equal to the year the integer and another kind of year is equal to the year the other integer and the population of the geopolitical area is equal to another real number holds during the kind of year and the population of the geopolitical area is equal to a third real number holds during the other kind of year and the other real number and the third real number is equal to a fourth real number and (the fourth real number and 1) is equal to the real number


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