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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PopulationFn

 Sigma KEE - PopulationFn
PopulationFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31694-31709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31692-31692 Le nombre 1 argument de PopulationFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31691-31691 PopulationFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31693-31693 Le domaine de PopulationFn est une instance de nombre entier

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 46651-46651
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46650-46650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46649-46649

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


No TPTP formula. May not be expressible in strict first order. People.kif 82-97 Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 156-187 Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 Ann�e est une instance de l' ann�e nombre entier PopulationGrowthFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entierP) est position temporel est une instance de l' ann�e nombre entierP PopulationFn secteur g�opolitique est nombre r�el pendant ann�e PopulationFn secteur g�opolitique est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el ( nombre r�el + 1) est nombre r�el
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26626-26632

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31712-31717 PopulationFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique


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