|
|
   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 |
|
|
|
|
