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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MigrantsPerThousandFn

 Sigma KEE - MigrantsPerThousandFn
MigrantsPerThousandFn

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


No TPTP formula. May not be expressible in strict first order. People.kif 141-153
No TPTP formula. May not be expressible in strict first order. People.kif 138-138 每千人移民 的 1 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 139-139 每千人移民 的 2 数量 是 年 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 137-137 每千人移民 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 140-140 每千人移民 的 range 是 实数 的实例

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1711-1711
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1710-1710
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1709-1709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37505-37505
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37504-37504
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37503-37503

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


No TPTP formula. May not be expressible in strict first order. People.kif 156-187 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千的 migrants equal 实数 若且唯若 (那个 整数 和 另一个 整数) equal 1 和 实体 是 那个 另外 整数 year 的 instance 和 那个 地缘政治区域 的 population equal 另一个 实数 在 那个 年 holdsDuring 和 那个 另外 实数 和 1000 equal 第三 实数 和 第三 整数 equal 符号串 所描述的类别 instance 的数量 和 第四 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 第三 整数 和 那个 第四 整数) equal 第四 实数 和 那个 第四 实数 和 那个 第三 实数 equal 那个 实数


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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