| 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 4135-4137 | |
| (domain marketValueAmount 1 FinancialAccount) | FinancialOntology.kif 4132-4132 | The number 1 argument of market value amount is an instance of financial account |
| (domain marketValueAmount 2 Day) | FinancialOntology.kif 4133-4133 | The number 2 argument of market value amount is an instance of day |
| (domain marketValueAmount 3 CurrencyMeasure) | FinancialOntology.kif 4134-4134 | The number 3 argument of market value amount is an instance of currency measure |
| (instance marketValueAmount TernaryPredicate) | FinancialOntology.kif 4130-4130 | market value amount is an instance of ternary predicate |
| (subrelation marketValueAmount availableBalance) | FinancialOntology.kif 4131-4131 | market value amount is a subrelation of available balance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage marketValueAmount "%1 %n{不是} 對於 %3 的 market 價值金額 %2 ") | domainEnglishFormat.kif 1643-1643 | |
| (format ChineseTraditionalLanguage marketValueAmount "%1 %n{不是} 對於 %3 的 market 價值金額 %2 ") | domainEnglishFormat.kif 1642-1642 | |
| (format EnglishLanguage marketValueAmount "%1 is %n{isn't} market value amount %2 for %3") | domainEnglishFormat.kif 1641-1641 | |
| (termFormat ChineseLanguage marketValueAmount "市值金额") | domainEnglishFormat.kif 36325-36325 | |
| (termFormat ChineseTraditionalLanguage marketValueAmount "市值金額") | domainEnglishFormat.kif 36324-36324 | |
| (termFormat EnglishLanguage marketValueAmount "market value amount") | domainEnglishFormat.kif 36323-36323 |
|
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