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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LifeExpectancyAtBirthFn
LifeExpectancyAtBirthFn

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


No TPTP formula. May not be expressible in strict first order. People.kif 300-307
No TPTP formula. May not be expressible in strict first order. People.kif 297-297 O argumento numero 1 de LifeExpectancyAtBirthFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. People.kif 298-298 O argumento numero 2 de LifeExpectancyAtBirthFn e' uma instancia de Ano
No TPTP formula. May not be expressible in strict first order. People.kif 296-296 LifeExpectancyAtBirthFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. People.kif 299-299 O contra-dominio de LifeExpectancyAtBirthFn e' uma instancia de Numero Real

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1531-1531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1530-1530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1529-1529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34337-34337
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34336-34336
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34335-34335

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


No TPTP formula. May not be expressible in strict first order. People.kif 310-342 Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real


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