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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LifeExpectancyAtBirthFn

 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 域 出生時的預期壽命, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. People.kif 298-298 域 出生時的預期壽命, 2 and 年
No TPTP formula. May not be expressible in strict first order. People.kif 296-296 例 出生時的預期壽命 and BinaryFunction
No TPTP formula. May not be expressible in strict first order. People.kif 299-299 範圍 出生時的預期壽命 and RealNumber

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 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM RealNumber 是 List 的 average


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