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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PopulationGrowthFn
PopulationGrowthFn

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


No TPTP formula. May not be expressible in strict first order. People.kif 39-48
No TPTP formula. May not be expressible in strict first order. People.kif 36-36 人口增长 的 1 数量 是 地缘政治区域instance
No TPTP formula. May not be expressible in strict first order. People.kif 37-37 人口增长 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. People.kif 35-35 人口增长二元函数instance
No TPTP formula. May not be expressible in strict first order. People.kif 38-38 人口增长range实数 的实例

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1995-1995
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1994-1994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1993-1993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46669-46669
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46668-46668
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46667-46667

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


No TPTP formula. May not be expressible in strict first order. People.kif 52-64 整数 yearinstance 地缘政治区域那个 年population 成长 equal 实数 若且唯若 (那个 整数那个 整数P) equal 1 和 时间位置那个 整数P yearinstance那个 地缘政治区域population equal 另一个 实数那个 年 holdsDuring那个 地缘政治区域population equal 第三 实数那个 时间位置 holdsDuring那个 另外 实数那个 第三 实数 equal 第四 实数 和 (那个 第四 实数 和 1) 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