No TPTP formula. May not be expressible in strict first order.	Economy.kif 3654-3654	Le nombre 2 argument de currencyExchangeRate est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3640-3640	Le nombre 2 argument de currencyExchangeRateInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3603-3603	Le nombre 2 argument de currencyValue est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 674-674	Le nombre 3 argument de currentAccountBalance est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1285-1285	Le nombre 3 argument de customerValue est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3992-3992	Le nombre 3 argument de dailyLimit est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 803-803	Le nombre 2 argument de downPayment est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2806-2806	Le nombre 2 argument de economicAidDonated est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2789-2789	Le nombre 2 argument de economicAidDonatedInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2848-2848	Le nombre 2 argument de economicAidReceivedNet est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2833-2833	Le nombre 2 argument de economicAidReceivedNetInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3352-3352	Le nombre 2 argument de employeeContribution est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2258-2258	Le nombre 2 argument de exportTotalInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2768-2768	Le nombre 2 argument de externalDebt est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2756-2756	Le nombre 2 argument de externalDebtInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2300-2300	Le nombre 2 argument de faceValue est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3479-3479	Le nombre 2 argument de finalPrice est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 798-798	Le nombre 2 argument de floorLoan est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2966-2966	Le nombre 3 argument de grossMerchandiseBoughtInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2995-2995	Le nombre 3 argument de grossMerchandiseSoldInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2563-2563	Le nombre 2 argument de importTotalInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3270-3270	Le nombre 2 argument de income est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3292-3292	Le nombre 2 argument de incomeEarned est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4040-4040	Le nombre 2 argument de lastStatementBalance est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1998-1998	Le nombre 2 argument de limitPrice est une instance de mesure de devise
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