No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4158-4158	O argumento numero 2 de loanFeeAmount e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3918-3918	O argumento numero 2 de loanInterest e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7204-7204	O argumento numero 2 de loss e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4102-4102	O argumento numero 3 de marginBalanceAmount e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4120-4120	O argumento numero 3 de marketValueAmount e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Military.kif 968-968	O argumento numero 2 de militaryExpendituresInUSDollars e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Military.kif 952-952	O argumento numero 2 de militaryExpendituresInUSDollarsInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 681-681	O argumento numero 3 de minimumBalance e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 754-754	O argumento numero 2 de minimumPayment e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7806-7806	O argumento numero 2 de monetaryValue e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16966-16966	O argumento numero 4 de monetaryWage e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3278-3278	O argumento numero 2 de monthlyIncome e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 270-270	O argumento numero 2 de negotiatedPrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3461-3461	O argumento numero 2 de netAmount e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 867-867	O argumento numero 2 de netWorth e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 718-718	O argumento numero 2 de originalBalance e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 779-779	O argumento numero 2 de overdraft e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3856-3856	O argumento numero 2 de paymentsPerPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1035-1035	O argumento numero 2 de perCapitaGDP e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1022-1022	O argumento numero 2 de perCapitaGDPInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 737-737	O argumento numero 2 de periodicPayment e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1883-1883	O argumento numero 3 de potentialLoss e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2722-2722	O argumento numero 2 de premium e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7736-7736	O argumento numero 2 de price e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 204-204	O argumento numero 2 de priceRange e' uma instancia de Medida de Divisa
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