No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4118-4118	O argumento numero 1 de marketValueAmount e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 631-631	O argumento numero 1 de maturityDate e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 679-679	O argumento numero 1 de minimumBalance e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 717-717	O argumento numero 1 de originalBalance e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 778-778	O argumento numero 1 de overdraft e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3855-3855	O argumento numero 1 de paymentsPerPeriod e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 736-736	O argumento numero 1 de periodicPayment e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 729-729	O argumento numero 1 de principalAmount e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3863-3863	O argumento numero 1 de purchasesPerPeriod e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1331-1331	O argumento numero 1 de securedBy e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4109-4109	O argumento numero 1 de shortBalanceAmount e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 531-531	O argumento numero 1 de simpleInterest e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4054-4054	O argumento numero 2 de statementAccount e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1396-1396	O argumento numero 1 de totalBalance e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1862-1862	O argumento numero 1 de yieldLevel e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3938-3938	O argumento numero 1 de bankAccount e' uma sub-classe de FinancialAccount

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