Stock
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2154-2156 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6899-6899 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7993-7993 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7994-7994 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7995-7995 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2152-2152 | 股票 是 金融工具 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2153-2153 | 股票 是 投资 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2179-2179 | 蓝筹股 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3188-3188 | 借来的股票 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2158-2158 | 普通股 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2191-2191 | 防守股票 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2183-2183 | 成长股 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2199-2199 | 便士股票 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2166-2166 | 优先股 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2195-2195 | 限制性股票 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2187-2187 | 价值股票 是 股票 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55386-55386 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55385-55385 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55384-55384 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3470-3470 | 收盘价 的 1 数量 是 股票 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3478-3478 | 最终价格 的 1 数量 是 股票 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1726-1726 | 上市在 的 1 数量 是 股票 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2217-2217 | 股票持有人 的 1 数量 是 股票 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3443-3443 | 股票的符号 的 1 数量 是 股票 的 instance |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1696-1701 | 抽象体 是 股票指数 的 instance 若且唯若 有存在 性能指标 这样 那个 性能指标 是 股票 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3202-3206 |