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 数量 是 地缘政治区域instance
No TPTP formula. May not be expressible in strict first order. People.kif 298-298 出生时的预期寿命 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. People.kif 296-296 出生时的预期寿命二元函数instance
No TPTP formula. May not be expressible in strict first order. People.kif 299-299 出生时的预期寿命range实数 的实例

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 整数 yearinstance 地缘政治区域那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列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