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
cardCode
Sigma KEE - cardCode
cardCode
appearance as argument number 1
(
documentation
cardCode
EnglishLanguage
"(
cardCode
?Code ?Card) means that ?Code represents the account number of the BankCard ?Card.")
FinancialOntology.kif 3501-3502
(
domain
cardCode
1
ContentBearingObject
)
FinancialOntology.kif 3499-3499
The number 1 argument of
card code
is an
instance
of
content bearing object
(
domain
cardCode
2
BankCard
)
FinancialOntology.kif 3500-3500
The number 2 argument of
card code
is an
instance
of
bank card
(
instance
cardCode
BinaryPredicate
)
FinancialOntology.kif 3497-3497
card code
is an
instance
of
binary predicate
(
subrelation
cardCode
represents
)
FinancialOntology.kif 3498-3498
card code
is a
subrelation
of
represents
appearance as argument number 2
(
format
ChineseLanguage
cardCode
"%2 %n 是 %1 的 card 代号")
domainEnglishFormat.kif 372-372
(
format
ChineseTraditionalLanguage
cardCode
"%2 %n 是 %1 的 card 代號")
domainEnglishFormat.kif 371-371
(
format
EnglishLanguage
cardCode
"%2 is %n a card code of %1")
domainEnglishFormat.kif 370-370
(
termFormat
ChineseLanguage
cardCode
"卡代码")
domainEnglishFormat.kif 13194-13194
(
termFormat
ChineseTraditionalLanguage
cardCode
"卡代碼")
domainEnglishFormat.kif 13193-13193
(
termFormat
EnglishLanguage
cardCode
"card code")
domainEnglishFormat.kif 13192-13192
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
(
instance
?Check
VerifyingCardCode
)
(
patient
?Check ?Code)
(
cardCode
?Code ?Card))
(
exists
(?Decode)
(
and
(
instance
?Decode
Decoding
)
(
subProcess
?Decode ?Check)
(
patient
?Decode ?Code))))
FinancialOntology.kif 3572-3581
If
a process
is an
instance
of
verifying card code
and
a content bearing object
is a
patient
of
the process
and
a bank card
is a
card
code of
the content bearing object
,
then there exists
another process
such that
the other process
is an
instance
of
decoding
and
the other process
is a
subprocess
of
the process
and
the content bearing object
is a
patient
of
the other process
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