Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
closingPrice
Sigma KEE - closingPrice
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
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners