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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FemaleLifeExpectancyAtBirthFn
FemaleLifeExpectancyAtBirthFn

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


No TPTP formula. May not be expressible in strict first order. People.kif 397-400
No TPTP formula. May not be expressible in strict first order. People.kif 394-394 女性出生时的预期寿命 的 1 数量 是 地缘政治区域instance
No TPTP formula. May not be expressible in strict first order. People.kif 395-395 女性出生时的预期寿命 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. People.kif 393-393 女性出生时的预期寿命二元函数instance
No TPTP formula. May not be expressible in strict first order. People.kif 396-396 女性出生时的预期寿命range实数 的实例

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 999-999
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 998-998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 997-997
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23498-23498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23497-23497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23496-23496

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


No TPTP formula. May not be expressible in strict first order. People.kif 403-436 整数 yearinstance 地缘政治区域那个 年female 出生预期寿命 equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average


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