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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeathsPerThousandFn
DeathsPerThousandFn

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


No TPTP formula. May not be expressible in strict first order. People.kif 105-115
No TPTP formula. May not be expressible in strict first order. People.kif 102-102 每千人死亡 的 1 数量 是 地缘政治区域instance
No TPTP formula. May not be expressible in strict first order. People.kif 103-103 每千人死亡 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. People.kif 101-101 每千人死亡二元函数instance
No TPTP formula. May not be expressible in strict first order. People.kif 104-104 每千人死亡range实数 的实例

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 688-688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 687-687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 686-686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18774-18774
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18773-18773
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18772-18772

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


No TPTP formula. May not be expressible in strict first order. People.kif 118-133 整数 yearinstance 地缘政治区域那个 年 每一千里的 deaths 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