| appearance as argument number 1 |
|
| (documentation marketValueAmount EnglishLanguage "(marketvalueAmount ?Account ?Day ?Amount) holds if ?Amount is the market value amount of the FinancialAccount ?Account on the Day ?Day.") | FinancialOntology.kif 4073-4075 | |
| (domain marketValueAmount 1 FinancialAccount) | FinancialOntology.kif 4070-4070 | 市值金额 的 1 数量 是 金融账户 的 instance |
| (domain marketValueAmount 2 Day) | FinancialOntology.kif 4071-4071 | 市值金额 的 2 数量 是 日 的 instance |
| (domain marketValueAmount 3 CurrencyMeasure) | FinancialOntology.kif 4072-4072 | 市值金额 的 3 数量 是 货币测量 的 instance |
| (instance marketValueAmount TernaryPredicate) | FinancialOntology.kif 4068-4068 | 市值金额 是 三元谓语 的 instance |
| (subrelation marketValueAmount availableBalance) | FinancialOntology.kif 4069-4069 | 市值金额 是 可用余额 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage marketValueAmount "%1 %n{不是} 對於 %3 的 market 價值金額 %2 ") | domainEnglishFormat.kif 1639-1639 | |
| (format ChineseTraditionalLanguage marketValueAmount "%1 %n{不是} 對於 %3 的 market 價值金額 %2 ") | domainEnglishFormat.kif 1638-1638 | |
| (format EnglishLanguage marketValueAmount "%1 is %n{isn't} market value amount %2 for %3") | domainEnglishFormat.kif 1637-1637 | |
| (termFormat ChineseLanguage marketValueAmount "市值金额") | domainEnglishFormat.kif 36282-36282 | |
| (termFormat ChineseTraditionalLanguage marketValueAmount "市值金額") | domainEnglishFormat.kif 36281-36281 | |
| (termFormat EnglishLanguage marketValueAmount "market value amount") | domainEnglishFormat.kif 36280-36280 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners