RealNumber(nombre r�el) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5231-5231 | Le nombre 1 argument de TangentFn est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17890-17890 | Le nombre 2 argument de angularMeasure est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29823-29823 | Le nombre 1 argument de approximateValue est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29824-29824 | Le nombre 2 argument de approximateValue est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5965-5965 | Le nombre 2 argument de arcWeight est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5361-5361 | Le nombre 2 argument de average est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | People.kif 1526-1526 | Le nombre 2 argument de beliefGroupPercentInRegion est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1927-1927 | Le nombre 2 argument de compressionRatio est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2585-2585 | Le nombre 3 argument de conditionalProbability est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 529-529 | Le nombre 2 argument de confidenceInterval est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3725-3725 | Le nombre 2 argument de contrastRatio est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 796-796 | Le nombre 2 argument de dampingRatio est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 886-886 | Le nombre 2 argument de diseaseMortality est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2044-2044 | Le nombre 3 argument de electricityFractionFromSource est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2028-2028 | Le nombre 3 argument de electricityFractionFromSourceInPeriod est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | People.kif 1545-1545 | Le nombre 2 argument de ethnicityPercentInRegion est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1080-1080 | Le nombre 2 argument de grainSize est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1848-1848 | Le nombre 1 argument de greaterThan est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1849-1849 | Le nombre 2 argument de greaterThan est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1877-1877 | Le nombre 1 argument de greaterThanOrEqualTo est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1878-1878 | Le nombre 2 argument de greaterThanOrEqualTo est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1263-1263 | Le nombre 2 argument de highestDecileShareOfHouseholdIncome est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1245-1245 | Le nombre 2 argument de highestDecileShareOfHouseholdIncomeInPeriod est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1942-1942 | Le nombre 2 argument de industrialProductionGrowthRate est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1932-1932 | Le nombre 2 argument de industrialProductionGrowthRateInPeriod est une instance de nombre r�el |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |