TreeView Knowledge Base Browser - cardAccount

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	cardAccount の数値 1 引数は BankCard の instance では %n
(domain cardAccount 2 FinancialAccount)	FinancialOntology.kif 237-237	cardAccount の数値 2 引数は FinancialAccount の instance では %n
(instance cardAccount BinaryPredicate)	FinancialOntology.kif 235-235	cardAccount は 2進述語の instance では %n

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	cardCode コンテンツベアリングオブジェクト and BankCard cardAccount BankCard and FinancialAccount 工程工程は符号化の instance では %n FinancialAccount は工程の patient では %n
(=> (and (holdsDuring ?Time (instance ?Card ExpiredCard)) (cardAccount ?Card ?Account)) (holdsDuring ?Time (not (attribute ?Card ActiveAgreement))))	FinancialOntology.kif 3529-3534	BankCard は ExpiredCard の instance では %n は時間位置の during holds %n{ない} cardAccount BankCard and FinancialAccount ActiveAgreement は BankCard の attribute ではは時間位置の during holds %n{ない}

consequent

(=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank))))	FinancialOntology.kif 188-196	BankCard は BankCard の instance では %n issuedBy BankCard and FinancialOrganization FinancialAccount FinancialAccount は FinancialAccount の instance では %n cardAccount BankCard and FinancialAccount accountAt FinancialAccount and FinancialOrganization
(=> (and (instance ?Card CreditCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account CreditCardAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent))))	FinancialOntology.kif 218-226	BankCard は CreditCard の instance では %n 認識エージェントは BankCard を possesses %n{ない} FinancialAccount FinancialAccount は CreditCardAccount の instance では %n cardAccount BankCard and FinancialAccount accountHolder FinancialAccount and 認識エージェント
(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account DepositAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent))))	FinancialOntology.kif 203-211	BankCard は DebitCard の instance では %n 認識エージェントは BankCard を possesses %n{ない} FinancialAccount FinancialAccount は DepositAccount の instance では %n cardAccount BankCard and FinancialAccount accountHolder FinancialAccount and 認識エージェント

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