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 3208-3208 | 上扬 是 股市交易 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3230-3230 | 打勾 是 股市交易 的 subclass |