Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| closingPrice |
| appearance as argument number 1 |
|
| (instance closingPrice TernaryPredicate) | FinancialOntology.kif 3527-3527 | closing price is an instance of ternary predicate |
| (domain closingPrice 1 Stock) | FinancialOntology.kif 3528-3528 | The number 1 argument of closing price is an instance of stock |
| (domain closingPrice 2 CurrencyMeasure) | FinancialOntology.kif 3529-3529 | The number 2 argument of closing price is an instance of currency measure |
| (domain closingPrice 3 Day) | FinancialOntology.kif 3530-3530 | The number 3 argument of closing price is an instance of day |
| (documentation closingPrice EnglishLanguage "(closingPrice ?Stock ?Amount ?Day) means that the closing price of the Stock ?Stock on the Day ?Day was ?Amount.") | FinancialOntology.kif 3531-3532 | The number 3 argument of closing price is an instance of day |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage closingPrice "%1 %n{doesn't} closing price %2 for %3") | domainEnglishFormat.kif 462-462 | |
| (format ChineseTraditionalLanguage closingPrice "%1 %n{不是} 對於 %3 的 closing 價格 %2 ") | domainEnglishFormat.kif 463-463 | |
| (format ChineseLanguage closingPrice "%1 %n{不是} 对于 %3 的 closing 价格 %2") | domainEnglishFormat.kif 464-464 | |
| (termFormat EnglishLanguage closingPrice "closing price") | domainEnglishFormat.kif 15228-15228 | |
| (termFormat ChineseTraditionalLanguage closingPrice "收盤價") | domainEnglishFormat.kif 15229-15229 | |
| (termFormat ChineseLanguage closingPrice "收盘价") | domainEnglishFormat.kif 15230-15230 |
|