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 | Stock is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2153-2153 | Stock is a subclass of investment |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2179-2179 | Blue chip stock is a subclass of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3188-3188 | Borrowed stock is a subclass of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2158-2158 | Common stock is a subclass of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2191-2191 | Defensive stock is a subclass of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2183-2183 | Growth stock is a subclass of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2199-2199 | Penny stock is a subclass of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2166-2166 | Preferred stock is a subclass of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2195-2195 | Restricted stock is a subclass of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2187-2187 | Value stock is a subclass of stock |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55388-55388 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55387-55387 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55386-55386 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3470-3470 | The number 1 argument of closing price is an instance of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3478-3478 | The number 1 argument of final price is an instance of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1726-1726 | The number 1 argument of listed on is an instance of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2217-2217 | The number 1 argument of stock holder is an instance of stock |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3443-3443 | The number 1 argument of stock symbol is an instance of stock |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1696-1701 | An abstract is an instance of stock index if and only if there exists a performance measure such that the performance measure is an instance of stock and the performance measure is a benchmark of the abstract |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3202-3206 |
|