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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MigrantsPerThousandFn

 Sigma KEE - MigrantsPerThousandFn
MigrantsPerThousandFn

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


No TPTP formula. May not be expressible in strict first order. People.kif 141-153
No TPTP formula. May not be expressible in strict first order. People.kif 138-138 O argumento numero 1 de MigrantsPerThousandFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. People.kif 139-139 O argumento numero 2 de MigrantsPerThousandFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. People.kif 137-137 MigrantsPerThousandFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. People.kif 140-140 O contra-dominio de MigrantsPerThousandFn e' uma instancia de Numero Real

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1711-1711
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1710-1710
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1709-1709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37505-37505
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37504-37504
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37503-37503

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


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


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