CommonStock
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2159-2164 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5924-5924 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2158-2158 | Common stock is a subclass of stock |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15978-15978 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15977-15977 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15976-15976 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2712-2716 |
|