Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
dailyLimit
Sigma KEE - dailyLimit
dailyLimit
appearance as argument number 1
(
documentation
dailyLimit
EnglishLanguage
"(
dailyLimit
?Account ?TransactionType ?Amount) means that ?Amount is the daily limit of the ?Account for the type of
FinancialTransaction
s ?TransactionType.")
FinancialOntology.kif 3993-3995
(
domain
dailyLimit
1
FinancialAccount
)
FinancialOntology.kif 3990-3990
(
domain
dailyLimit
3
CurrencyMeasure
)
FinancialOntology.kif 3992-3992
(
domainSubclass
dailyLimit
2
FinancialTransaction
)
FinancialOntology.kif 3991-3991
(
instance
dailyLimit
TernaryPredicate
)
FinancialOntology.kif 3989-3989
appearance as argument number 2
(
format
ChineseLanguage
dailyLimit
"%1 %n{不是} 對於 %3 的 daily 上限")
domainEnglishFormat.kif 636-636
(
format
ChineseTraditionalLanguage
dailyLimit
"%1 %n{不是} 對於 %3 的 daily 上限")
domainEnglishFormat.kif 635-635
(
format
EnglishLanguage
dailyLimit
"%1 %n{doesn't} daily limit %2 for %3")
domainEnglishFormat.kif 634-634
(
termFormat
ChineseLanguage
dailyLimit
"每日限额")
domainEnglishFormat.kif 18366-18366
(
termFormat
ChineseTraditionalLanguage
dailyLimit
"每日限額")
domainEnglishFormat.kif 18365-18365
(
termFormat
EnglishLanguage
dailyLimit
"daily limit")
domainEnglishFormat.kif 18364-18364
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 is
open source software
produced by
Articulate Software
and its partners