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 O argumento numero 1 de PopulationFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31691-31691 PopulationFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31693-31693 O contra-dominio de PopulationFn e' uma instancia de Numero Inteiro

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 Ano e' uma instancia de o ano Numero Inteiro BirthsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 156-187 Ano e' uma instancia de o ano Numero Inteiro MigrantsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero Inteiro) e' igual a 1 Entidade e' uma instancia de o ano Numero Inteiro PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano Numero Real + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ( Numero Inteiro + Numero Inteiro) e' igual a Numero Real Numero Real + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 Ano e' uma instancia de o ano Numero Inteiro PopulationGrowthFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero InteiroP) e' igual a 1 Posicao Temporal e' uma instancia de o ano Numero InteiroP PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano PopulationFn Area Geopolitica e' igual a Numero Real vale durante Posicao Temporal Numero Real + Numero Real e' igual a Numero Real ( Numero Real + 1) e' igual a Numero Real
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 Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica


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