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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BirthsPerThousandFn
BirthsPerThousandFn

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


No TPTP formula. May not be expressible in strict first order. People.kif 72-79
No TPTP formula. May not be expressible in strict first order. People.kif 69-69 每千人分娩 的 1 数量 是 地缘政治区域instance
No TPTP formula. May not be expressible in strict first order. People.kif 70-70 每千人分娩 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. People.kif 68-68 每千人分娩二元函数instance
No TPTP formula. May not be expressible in strict first order. People.kif 71-71 每千人分娩range实数 的实例

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 316-316
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 315-315
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 314-314
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11189-11189
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11188-11188
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11187-11187

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


No TPTP formula. May not be expressible in strict first order. People.kif 82-97 整数 yearinstance 地缘政治区域那个 年 每一千的 births equal 实数 若且唯若 那个 地缘政治区域population 和 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