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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PopulationFn

 Sigma KEE - PopulationFn
PopulationFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31694-31709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31692-31692 域 人口, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31691-31691 例 人口 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31693-31693 範圍 人口 and Integer

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1983-1983
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1982-1982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1981-1981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46651-46651
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46650-46650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46649-46649

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 82-97 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千的 births and RealNumber 等於 部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間 何時 SymbolicString and 年 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千裡的 deaths and RealNumber 等於 部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 期間 何時 SymbolicString and 年 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 部 Integer and RealNumber and RealNumber
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
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的 population 成長 and RealNumber 等於 減法 Integer and IntegerP and 1 例 TimePosition and 年 IntegerP 持有期間 年 and 等於 GeopoliticalArea 的 population and RealNumber 持有期間 TimePosition and 等於 GeopoliticalArea 的 population and RealNumber 等於 部 RealNumber and RealNumber and RealNumber 等於 減法 RealNumber and 1 and RealNumber
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26626-26632

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