No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3079-3079	OptionStrategy e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 403-403	Payment e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1950-1950	PlacingAnOrder e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1445-1445	Refinancing e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22421-22421	Renting e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3420-3420	Rollover e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11901-11901	Vender e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3179-3179	ShortSale e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3191-3191	StockMarketTransaction e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2220-2220	StockSplit e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1909-1909	TransactionCollection e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4152-4152	Update e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 308-308	UsingAnAccount e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1943-1943	Vending e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 455-455	Withdrawal e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20499-20499	Working e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1140-1140
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1497-1497
No TPTP formula. May not be expressible in strict first order.	french_format.kif 818-818
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 350-350
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 353-353
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2502-2502
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 770-770
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 389-389
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