closingPrice |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3473-3474 | |
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 3471-3471 | The number 2 argument of closing price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3472-3472 | The number 3 argument of closing price is an instance of day |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3469-3469 | closing price is an instance of ternary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 464-464 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 463-463 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 462-462 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15228-15228 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15227-15227 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15226-15226 |