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
accountStatus
Sigma KEE - accountStatus
accountStatus
appearance as argument number 1
(
documentation
accountStatus
EnglishLanguage
"(
accountStatus
?Account ?Status) is true if ?Status describes the status of the account, such as
ActiveAccount
,
LockedAccount
,
NewAccount
or
PendingAccount
.")
FinancialOntology.kif 4001-4001
(
domain
accountStatus
1
FinancialAccount
)
FinancialOntology.kif 3999-3999
The number 1 argument of
account status
is an
instance
of
financial account
(
domain
accountStatus
2
FinancialAccountStatus
)
FinancialOntology.kif 4000-4000
The number 2 argument of
account status
is an
instance
of
financial account status
(
instance
accountStatus
BinaryPredicate
)
FinancialOntology.kif 3998-3998
account status
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
accountStatus
"%2 %n 是 %1 的 account 状态")
domainEnglishFormat.kif 44-44
(
format
ChineseTraditionalLanguage
accountStatus
"%2 %n 是 %1 的 account 狀態")
domainEnglishFormat.kif 43-43
(
format
EnglishLanguage
accountStatus
"%2 is %n the account status of %1")
domainEnglishFormat.kif 42-42
(
termFormat
ChineseLanguage
accountStatus
"帐户状态")
domainEnglishFormat.kif 5268-5268
(
termFormat
ChineseTraditionalLanguage
accountStatus
"帳戶狀態")
domainEnglishFormat.kif 5267-5267
(
termFormat
EnglishLanguage
accountStatus
"account status")
domainEnglishFormat.kif 5266-5266
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