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
域
卡代碼
, 1 and
ContentBearingObject
(
domain
cardCode
2
BankCard
)
FinancialOntology.kif 3500-3500
域
卡代碼
, 2 and
銀行卡
(
instance
cardCode
BinaryPredicate
)
FinancialOntology.kif 3497-3497
例
卡代碼
and
BinaryPredicate
(
subrelation
cardCode
represents
)
FinancialOntology.kif 3498-3498
子關係
卡代碼
and
代表
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
銀行卡
是
ContentBearingObject
的
card
代號
金融賬戶
是
銀行卡
的
card
帳戶
Process
例
Process
and
Encoding
患者
Process
and
金融賬戶
(=>
(
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
例
Process
and
驗證卡代碼
患者
Process
and
ContentBearingObject
銀行卡
是
ContentBearingObject
的
card
代號
Process
例
Process
and
Decoding
子過程
Process
and
Process
患者
Process
and
ContentBearingObject
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