No TPTP formula. May not be expressible in strict first order.	Merge.kif 5231-5231	O argumento numero 1 de TangentFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17868-17868	O argumento numero 2 de angularMeasure e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29835-29835	O argumento numero 1 de approximateValue e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29836-29836	O argumento numero 2 de approximateValue e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5965-5965	O argumento numero 2 de arcWeight e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5361-5361	O argumento numero 2 de average e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 1526-1526	O argumento numero 2 de beliefGroupPercentInRegion e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1921-1921	O argumento numero 2 de compressionRatio e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2585-2585	O argumento numero 3 de conditionalProbability e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 529-529	O argumento numero 2 de confidenceInterval e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3725-3725	O argumento numero 2 de contrastRatio e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 796-796	O argumento numero 2 de dampingRatio e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	WMD.kif 886-886	O argumento numero 2 de diseaseMortality e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2044-2044	O argumento numero 3 de electricityFractionFromSource e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2028-2028	O argumento numero 3 de electricityFractionFromSourceInPeriod e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 1545-1545	O argumento numero 2 de ethnicityPercentInRegion e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 1080-1080	O argumento numero 2 de grainSize e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1848-1848	O argumento numero 1 de greaterThan e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1849-1849	O argumento numero 2 de greaterThan e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1877-1877	O argumento numero 1 de greaterThanOrEqualTo e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1878-1878	O argumento numero 2 de greaterThanOrEqualTo e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1263-1263	O argumento numero 2 de highestDecileShareOfHouseholdIncome e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1245-1245	O argumento numero 2 de highestDecileShareOfHouseholdIncomeInPeriod e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1942-1942	O argumento numero 2 de industrialProductionGrowthRate e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1932-1932	O argumento numero 2 de industrialProductionGrowthRateInPeriod e' uma instancia de Numero Real
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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