No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1677-1677	Le nombre 2 argument de inflationRateInCountry est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1347-1347	Le nombre 2 argument de inflationRateOfConsumerPrices est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1332-1332	Le nombre 2 argument de inflationRateOfConsumerPricesInPeriod est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11953-11953	Le nombre 2 argument de intelligenceQuotient est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 581-581	Le nombre 2 argument de interestRatePerPeriod est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1406-1406	Le nombre 3 argument de laborForceFractionByOccupation est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1388-1388	Le nombre 3 argument de laborForceFractionByOccupationInPeriod est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 1564-1564	Le nombre 2 argument de languagePercentInRegion est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1836-1836	Le nombre 1 argument de lessThan est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1837-1837	Le nombre 2 argument de lessThan est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1860-1860	Le nombre 1 argument de lessThanOrEqualTo est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1861-1861	Le nombre 2 argument de lessThanOrEqualTo est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1842-1842	Le nombre 2 argument de load est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1218-1218	Le nombre 2 argument de lowestDecileShareOfHouseholdIncome est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1200-1200	Le nombre 2 argument de lowestDecileShareOfHouseholdIncomeInPeriod est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Military.kif 1006-1006	Le nombre 2 argument de militaryExpendituresFractionOfGDP est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Military.kif 991-991	Le nombre 2 argument de militaryExpendituresFractionOfGDPInPeriod est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 1243-1243	Le nombre 3 argument de mixtureRatio est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 1244-1244	Le nombre 4 argument de mixtureRatio est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 950-950	Le nombre 3 argument de monitorComponentData est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1227-1227	Le nombre 2 argument de oxygenSaturation est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 567-567	Le nombre 2 argument de pValue est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 942-942	Le nombre 3 argument de performanceResult est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31717-31717	Le nombre 2 argument de populationDensity est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1172-1172	Le nombre 2 argument de populationFractionBelowPovertyLine est une instance de nombre r�el
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