No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3079-3079	子類 期權策略 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 403-403	子類 付款 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1950-1950	子類 正在下單 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1445-1445	子類 再融資 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22421-22421	子類 租 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3420-3420	子類 滾下 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11901-11901	子類 Selling and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3179-3179	子類 賣空 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3191-3191	子類 股市交易 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2220-2220	子類 股票分割 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1909-1909	子類 TransactionCollection and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4152-4152	子類 更新 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 308-308	子類 使用帳戶 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1943-1943	子類 Vending and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 455-455	子類 退出 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20499-20499	子類 工作的 and FinancialTransaction
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