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
cardAccount
Sigma KEE - cardAccount
cardAccount
appearance as argument number 1
(
documentation
cardAccount
EnglishLanguage
"(
cardAccount
?Card ?Account) means that ?Account is the
FinancialAccount
linked to a BankCard ?Card.")
FinancialOntology.kif 238-239
(
domain
cardAccount
1
BankCard
)
FinancialOntology.kif 236-236
The number 1 argument of
card account
is an
instance
of
bank card
(
domain
cardAccount
2
FinancialAccount
)
FinancialOntology.kif 237-237
The number 2 argument of
card account
is an
instance
of
financial account
(
instance
cardAccount
BinaryPredicate
)
FinancialOntology.kif 235-235
card account
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
cardAccount
"%2 %n 是 %1 的 card 帐户")
domainEnglishFormat.kif 368-368
(
format
ChineseTraditionalLanguage
cardAccount
"%2 %n 是 %1 的 card 帳戶")
domainEnglishFormat.kif 367-367
(
format
EnglishLanguage
cardAccount
"%2 is %n a card account of %1")
domainEnglishFormat.kif 366-366
(
termFormat
ChineseLanguage
cardAccount
"卡帐户")
domainEnglishFormat.kif 13182-13182
(
termFormat
ChineseTraditionalLanguage
cardAccount
"卡帳戶")
domainEnglishFormat.kif 13181-13181
(
termFormat
EnglishLanguage
cardAccount
"card account")
domainEnglishFormat.kif 13180-13180
antecedent
(=>
(
and
(
cardCode
?Code ?Card)
(
cardAccount
?Card ?Account))
(
exists
(?Encoding)
(
and
(
instance
?Encoding
Encoding
)
(
patient
?Encoding ?Account))))
FinancialOntology.kif 3504-3511
If
a bank card
is a
card
code of
a content bearing object
and
a financial account
is a
card
account of
the bank card
,
then there exists
a process
such that
the process
is an
instance
of
encoding
and
the financial account
is a
patient
of
the process
(=>
(
and
(
holdsDuring
?Time
(
instance
?Card
ExpiredCard
))
(
cardAccount
?Card ?Account))
(
holdsDuring
?Time
(
not
(
attribute
?Card
ActiveAgreement
))))
FinancialOntology.kif 3529-3534
If
a bank card
is an
instance
of
expired card
holds
during
a time position
and
a financial account
is a
card
account of
the bank card
,
then
active agreement
is not an
attribute
of
the bank card
holds
during
the time position
consequent
(=>
(
and
(
instance
?Card
BankCard
)
(
issuedBy
?Card ?Bank))
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
cardAccount
?Card ?Account)
(
accountAt
?Account ?Bank))))
FinancialOntology.kif 188-196
If
a bank card
is an
instance
of
bank card
and
a financial organization
is an
issued
by of
the bank card
,
then there exists
a financial account
such that
the financial account
is an
instance
of
financial account
and
the financial account
is a
card
account of
the bank card
and
the financial account
is
held
by
the financial organization
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
If
a bank card
is an
instance
of
credit card
and
a cognitive agent
possess
es
the bank card
,
then there exists
a financial account
such that
the financial account
is an
instance
of
credit card account
and
the financial account
is a
card
account of
the bank card
and
the cognitive agent
holds
account
the financial account
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
If
a bank card
is an
instance
of
debit card
and
a cognitive agent
possess
es
the bank card
,
then there exists
a financial account
such that
the financial account
is an
instance
of
deposit account
and
the financial account
is a
card
account of
the bank card
and
the cognitive agent
holds
account
the financial account
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