No TPTP formula. May not be expressible in strict first order.	Catalog.kif 205-205	O argumento numero 3 de priceRange e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 730-730	O argumento numero 2 de principalAmount e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 416-416	O argumento numero 2 de productPrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7602-7602	O argumento numero 2 de profit e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 333-333	O argumento numero 2 de publishedPrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3864-3864	O argumento numero 2 de purchasesPerPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 410-410	O argumento numero 2 de reservePrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1121-1121	O argumento numero 3 de sectorValueOfGDP e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1097-1097	O argumento numero 3 de sectorValueOfGDPInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 896-896	O argumento numero 3 de serviceFee e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4111-4111	O argumento numero 3 de shortBalanceAmount e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30874-30874	O argumento numero 3 de shortage e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4078-4078	O argumento numero 2 de statementInterest e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2610-2610	O argumento numero 2 de strikePrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3306-3306	O argumento numero 2 de taxDeferredIncome e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1397-1397	O argumento numero 2 de totalBalance e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 950-950	O argumento numero 2 de totalGDP e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 937-937	O argumento numero 2 de totalGDPInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11873-11873	O argumento numero 2 de transactionAmount e' uma instancia de Medida de Divisa

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