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 数量 是
有内用物体
的
instance
(
domain
cardCode
2
BankCard
)
FinancialOntology.kif 3500-3500
卡代码
的 2 数量 是
银行卡
的
instance
(
instance
cardCode
BinaryPredicate
)
FinancialOntology.kif 3497-3497
卡代码
是
二元谓语
的
instance
(
subrelation
cardCode
represents
)
FinancialOntology.kif 3498-3498
卡代码
是
表示
的
subrelation
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
如果
银行卡
是
有内用物体
的
card
代号 和
金融账户
是
那个 银行卡
的
card
帐户,
然后 有存在
过程
这样
那个 过程
是
编码
的
instance
和
那个 金融账户
是
那个 过程
的
patient
(=>
(
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
如果
过程
是
验证卡代码
的
instance
和
有内用物体
是
那个 过程
的
patient
和
银行卡
是
那个 有内用物体
的
card
代号,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
解码
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 有内用物体
是
那个 另外 过程
的
patient
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