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 |