Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - closingPrice
closingPrice

appearance as argument number 1
-------------------------


s__documentation(s__closingPrice__m,s__EnglishLanguage,'"(closingPrice ?Stock ?Amount ?Day) means that the closing price of the Stock ?Stock on the Day ?Day was ?Amount."')

FinancialOntology.kif 3433-3434
s__domain(s__closingPrice__m,n__1,s__Stock)

FinancialOntology.kif 3430-3430 The number 1 argument of closing price is an instance of stock
s__domain(s__closingPrice__m,n__2,s__CurrencyMeasure)

FinancialOntology.kif 3431-3431 The number 2 argument of closing price is an instance of currency measure
s__domain(s__closingPrice__m,n__3,s__Day)

FinancialOntology.kif 3432-3432 The number 3 argument of closing price is an instance of day
s__instance(s__closingPrice__m,s__TernaryPredicate)

s__instance(s__TernaryPredicate,s__Class)

FinancialOntology.kif 3429-3429 closing price is an instance of ternary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__closingPrice__m,'"%1 %n{不是} 对于 %3 的 closing 价格 %2"')

domainEnglishFormat.kif 464-464
s__format(s__ChineseTraditionalLanguage,s__closingPrice__m,'"%1 %n{不是} 對於 %3 的 closing 價格 %2 "')

domainEnglishFormat.kif 463-463
s__format(s__EnglishLanguage,s__closingPrice__m,'"%1 %n{doesnt} closing price %2 for %3"')

domainEnglishFormat.kif 462-462
s__termFormat(s__ChineseLanguage,s__closingPrice__m,'"收盘价"')

domainEnglishFormat.kif 15231-15231
s__termFormat(s__ChineseTraditionalLanguage,s__closingPrice__m,'"收盤價"')

domainEnglishFormat.kif 15230-15230
s__termFormat(s__EnglishLanguage,s__closingPrice__m,'"closing price"')

domainEnglishFormat.kif 15229-15229


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