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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PopulationFn
PopulationFn

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


No TPTP formula. May not be expressible in strict first order. People.kif 31-46
No TPTP formula. May not be expressible in strict first order. People.kif 29-29 The number 1 argument of population is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. People.kif 28-28 Population is an instance of unary function
No TPTP formula. May not be expressible in strict first order. People.kif 30-30 The range of population is an instance of integer

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1983-1983
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1982-1982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1981-1981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46571-46571
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46570-46570
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46569-46569

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 104-117 The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 138-151 The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 174-202 The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and a quantity) is equal to 1 and the population of the geopolitical area is equal to another quantity holds during the year the integer and the other quantity and 1000 is equal to a third quantity and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fourth quantity and the fourth quantity and the third quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 77-86 The population growth of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a quantity holds during the year the integer and the population of the geopolitical area is equal to another quantity holds during the year the other integer and the quantity and the other quantity is equal to a third quantity and (the third quantity and 1) is equal to the real number

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 49-54 The population of a geopolitical area is equal to the number of instances in the class described by a symbolic string


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