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 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. People.kif 139-139 域 每千人移民, 2 and 年
No TPTP formula. May not be expressible in strict first order. People.kif 137-137 例 每千人移民 and BinaryFunction
No TPTP formula. May not be expressible in strict first order. People.kif 140-140 範圍 每千人移民 and RealNumber

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 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千的 migrants and RealNumber 等於 減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間 年 and 等於 GeopoliticalArea 的 population and RealNumber 等於 部 RealNumber and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 年 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 年 and 棲息 SymbolicString and GeopoliticalArea 等於 減法 Integer and Integer and RealNumber 等於 部 RealNumber and RealNumber and RealNumber


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