TreeView Knowledge Base Browser - checkAccount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - checkAccount

checkAccount

appearance as argument number 1

(documentation checkAccount EnglishLanguage "(checkAccount ?Check ?Account) means that ?Account is the FinancialAccount from which the amount specifed on the check is paid.")	FinancialOntology.kif 244-245
(domain checkAccount 1 Check)	FinancialOntology.kif 242-242	checkAccount の数値 1 引数は Check の instance では %n
(domain checkAccount 2 FinancialAccount)	FinancialOntology.kif 243-243	checkAccount の数値 2 引数は FinancialAccount の instance では %n
(instance checkAccount BinaryPredicate)	FinancialOntology.kif 241-241	checkAccount は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage checkAccount "%2 %n 是 %1 的 check 帐户")	domainEnglishFormat.kif 432-432
(format ChineseTraditionalLanguage checkAccount "%2 %n 是 %1 的 check 帳戶")	domainEnglishFormat.kif 431-431
(format EnglishLanguage checkAccount "%2 is %n a check account of %1")	domainEnglishFormat.kif 430-430
(termFormat ChineseLanguage checkAccount "检查帐户")	domainEnglishFormat.kif 14238-14238
(termFormat ChineseTraditionalLanguage checkAccount "檢查帳戶")	domainEnglishFormat.kif 14237-14237
(termFormat EnglishLanguage checkAccount "check account")	domainEnglishFormat.kif 14236-14236

antecedent

(=> (and (instance ?Depositing DepositingACheck) (patient ?Depositing ?Check) (instance ?Check Check) (checkAccount ?Check ?Account) (monetaryValue ?Check ?Amount)) (exists (?Deposit) (and (instance ?Deposit Deposit) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit ?Amount))))	FinancialOntology.kif 340-351	工程は DepositingACheck の instance では %n Check は工程の patient では %n Check は Check の instance では %n checkAccount Check and FinancialAccount Check の value は通貨測定では %n 金融取引金融取引は Deposit の instance では %n 金融取引は CurrencyFn FinancialAccount に ends %n{ない} transactionAmount 金融取引 and 通貨測定
(=> (and (instance ?Drawing DrawingACheck) (patient ?Drawing ?Check) (agent ?Drawing ?Agent) (checkAccount ?Check ?Account)) (accountHolder ?Account ?Agent))	FinancialOntology.kif 321-327	工程は DrawingACheck の instance では %n Check は工程の patient では %n 認識エージェントは工程の agent では %n checkAccount Check and FinancialAccount accountHolder FinancialAccount and 認識エージェント
(=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal ?WithdrawalTime) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account))))	FinancialOntology.kif 104-118	Check の value は通貨測定では %n checkAccount Check and FinancialAccount 工程は ProcessingACheck の instance では %n Check は工程の patient では %n 工程の time の existence は工程Time と equal では %n 金融取引金融取引Time 金融取引は Withdrawal の instance では %n Check は金融取引の instrument では %n 金融取引の time の existence は金融取引Time と equal では %n 工程Time は金融取引Time に meets %n{ない} transactionAmount 金融取引 and 通貨測定金融取引は FinancialAccount から originates %n{ない}

consequent

(=>
    (instance ?Check Check)
    (exists (?Account)
        (checkAccount ?Check ?Account)))

FinancialOntology.kif 99-102

Check は Check の instance では %n
FinancialAccount checkAccount Check and FinancialAccount

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