securedBy - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - securedBy

securedBy

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1328-1329
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1331-1331	域擔保由, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1332-1332	域擔保由, 2 and 抵押
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1330-1330	例擔保由 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2243-2243
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2242-2242
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2241-2241
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51879-51879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51878-51878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51877-51877

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2397-2406	例金融賬戶 and 擔保債券抵押是金融賬戶的 secured 擁有 AutonomousAgent and 金融賬戶例 Process and 財務違約患者 Process and 金融賬戶持有期間眼前的未來何時 Process and 擁有 AutonomousAgent and 抵押
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1334-1343	例貸款 and 貸款抵押是貸款的 secured CognitiveAgent lends 貸款例 Process and 財務違約患者 Process and 貸款持有期間眼前的未來何時 Process and 擁有 CognitiveAgent and 抵押
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1466	例 Process and 再融資時間 Process and Day 例貸款 and 貸款抵押是貸款的 secured 貸款是 CognitiveAgent 的 borrower 貸款對於 %3 的 current 帳戶存款患者 Process and 貸款貸款 FinancialTransaction 例貸款 and 貸款貸款是 CognitiveAgent 的 borrower 抵押是貸款的 secured 目的地 FinancialTransaction and 貸款的 currency 時間 FinancialTransaction and Day 起源 FinancialTransaction and 貸款的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1321-1326	例抵押 and 抵押金融賬戶例金融賬戶 and 擔保貸款抵押是金融賬戶的 secured
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1348-1351	例金融賬戶 and 擔保貸款抵押抵押是金融賬戶的 secured
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1387-1391	例貸款 and 抵押 Object 是給貸款購買的 loan Object 是貸款的 secured
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1466	例 Process and 再融資時間 Process and Day 例貸款 and 貸款抵押是貸款的 secured 貸款是 CognitiveAgent 的 borrower 貸款對於 %3 的 current 帳戶存款患者 Process and 貸款貸款 FinancialTransaction 例貸款 and 貸款貸款是 CognitiveAgent 的 borrower 抵押是貸款的 secured 目的地 FinancialTransaction and 貸款的 currency 時間 FinancialTransaction and Day 起源 FinancialTransaction and 貸款的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2392-2395	例金融賬戶 and 擔保債券抵押抵押是金融賬戶的 secured

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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