No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3079-3079	期权策略 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 403-403	付款 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1950-1950	正在下单 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1445-1445	再融资 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22421-22421	租 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3420-3420	滚下 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11901-11901	出售 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3179-3179	卖空 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3191-3191	股市交易 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2220-2220	股票分割 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1909-1909	TransactionCollection 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4152-4152	更新 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 308-308	使用帐户 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1943-1943	Vending 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 455-455	退出 是 金融交易 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20499-20499	工作的 是 金融交易 的 subclass
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