|
|
   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 | Stock e' uma sub-classe de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2153-2153 | Stock e' uma sub-classe de Investment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2179-2179 | BlueChipStock e' uma sub-classe de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3188-3188 | BorrowedStock e' uma sub-classe de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2158-2158 | CommonStock e' uma sub-classe de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2191-2191 | DefensiveStock e' uma sub-classe de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2183-2183 | GrowthStock e' uma sub-classe de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2199-2199 | PennyStock e' uma sub-classe de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2166-2166 | PreferredStock e' uma sub-classe de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2195-2195 | RestrictedStock e' uma sub-classe de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2187-2187 | ValueStock e' uma sub-classe de Stock |
| 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 | O argumento numero 1 de closingPrice e' uma instancia de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3478-3478 | O argumento numero 1 de finalPrice e' uma instancia de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1726-1726 | O argumento numero 1 de listedOn e' uma instancia de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2217-2217 | O argumento numero 1 de stockHolder e' uma instancia de Stock |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3443-3443 | O argumento numero 1 de stockSymbol e' uma instancia de Stock |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1696-1701 | Abstrato e' uma instancia de StockIndex PerformanceMeasure PerformanceMeasure e' uma instancia de Stock benchmark Abstrato and PerformanceMeasure |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3202-3206 |
|
|
|
