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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeathsPerThousandLiveBirthsFn
DeathsPerThousandLiveBirthsFn

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


No TPTP formula. May not be expressible in strict first order. People.kif 231-235
No TPTP formula. May not be expressible in strict first order. People.kif 228-228 每千名活产婴儿死亡人数 的 1 数量 是 地缘政治区域instance
No TPTP formula. May not be expressible in strict first order. People.kif 229-229 每千名活产婴儿死亡人数 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. People.kif 227-227 每千名活产婴儿死亡人数二元函数instance
No TPTP formula. May not be expressible in strict first order. People.kif 230-230 每千名活产婴儿死亡人数range实数 的实例

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 692-692
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 691-691
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 690-690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18780-18780
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18779-18779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18778-18778

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


No TPTP formula. May not be expressible in strict first order. People.kif 238-264 整数 yearinstance 地缘政治区域那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数那个 另外 实数 equal 那个 实数


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