|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1677-1677 | O argumento numero 2 de inflationRateInCountry e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1347-1347 | O argumento numero 2 de inflationRateOfConsumerPrices e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1332-1332 | O argumento numero 2 de inflationRateOfConsumerPricesInPeriod e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11954-11954 | O argumento numero 2 de intelligenceQuotient e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 581-581 | O argumento numero 2 de interestRatePerPeriod e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1406-1406 | O argumento numero 3 de laborForceFractionByOccupation e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1388-1388 | O argumento numero 3 de laborForceFractionByOccupationInPeriod e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1564-1564 | O argumento numero 2 de languagePercentInRegion e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1836-1836 | O argumento numero 1 de lessThan e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1837-1837 | O argumento numero 2 de lessThan e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1860-1860 | O argumento numero 1 de lessThanOrEqualTo e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1861-1861 | O argumento numero 2 de lessThanOrEqualTo e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1842-1842 | O argumento numero 2 de load e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1218-1218 | O argumento numero 2 de lowestDecileShareOfHouseholdIncome e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1200-1200 | O argumento numero 2 de lowestDecileShareOfHouseholdIncomeInPeriod e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 1006-1006 | O argumento numero 2 de militaryExpendituresFractionOfGDP e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 991-991 | O argumento numero 2 de militaryExpendituresFractionOfGDPInPeriod e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1243-1243 | O argumento numero 3 de mixtureRatio e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1244-1244 | O argumento numero 4 de mixtureRatio e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 950-950 | O argumento numero 3 de monitorComponentData e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1227-1227 | O argumento numero 2 de oxygenSaturation e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 567-567 | O argumento numero 2 de pValue e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 942-942 | O argumento numero 3 de performanceResult e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31721-31721 | O argumento numero 2 de populationDensity e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1172-1172 | O argumento numero 2 de populationFractionBelowPovertyLine 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