| 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 4121-4123 | |
| (domain marketValueAmount 1 FinancialAccount) | FinancialOntology.kif 4118-4118 | The number 1 argument of market value amount is an instance of financial account |
| (domain marketValueAmount 2 Day) | FinancialOntology.kif 4119-4119 | The number 2 argument of market value amount is an instance of day |
| (domain marketValueAmount 3 CurrencyMeasure) | FinancialOntology.kif 4120-4120 | The number 3 argument of market value amount is an instance of currency measure |
| (instance marketValueAmount TernaryPredicate) | FinancialOntology.kif 4116-4116 | market value amount is an instance of ternary predicate |
| (subrelation marketValueAmount availableBalance) | FinancialOntology.kif 4117-4117 | market value amount is a subrelation of available balance |
| 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 36333-36333 | |
| (termFormat ChineseTraditionalLanguage marketValueAmount "市值金額") | domainEnglishFormat.kif 36332-36332 | |
| (termFormat EnglishLanguage marketValueAmount "market value amount") | domainEnglishFormat.kif 36331-36331 |
|
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