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
Die Zahl 1 Argument von
cardCode
ist ein
fall
von
ContentBearingObject
%n{nicht}
(
domain
cardCode
2
BankCard
)
FinancialOntology.kif 3500-3500
Die Zahl 2 Argument von
cardCode
ist ein
fall
von
BankCard
%n{nicht}
(
instance
cardCode
BinaryPredicate
)
FinancialOntology.kif 3497-3497
cardCode
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
cardCode
represents
)
FinancialOntology.kif 3498-3498
cardCode
ist eine
teilrelation
von
stelltDar
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
Wenn
cardCode
ContentBearingObject
and
BankCard
und
cardAccount
** BankCard
and
FinancialAccount
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Encoding
%n{nicht} und
** FinancialAccount
ist ein
patient
von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
VerifyingCardCode
%n{nicht} und
ContentBearingObject
ist ein
patient
von
** Process
%n{nicht} und
cardCode
** ContentBearingObject
and
BankCard
,
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Decoding
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ContentBearingObject
ist ein
patient
von
** ** Process
%n{nicht}
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