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 1342-1343
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1345-1345	域擔保由, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1346-1346	域擔保由, 2 and 抵押
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1344-1344	例擔保由 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2247-2247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2246-2246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2245-2245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51912-51912
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51911-51911
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51910-51910

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2411-2420	例金融賬戶 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 1348-1357	例貸款 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 1463-1480	例 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 1335-1340	例抵押 and 抵押金融賬戶例金融賬戶 and 擔保貸款抵押是金融賬戶的 secured
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1362-1365	例金融賬戶 and 擔保貸款抵押抵押是金融賬戶的 secured
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1401-1405	例貸款 and 抵押 Object 是給貸款購買的 loan Object 是貸款的 secured
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1463-1480	例 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 2406-2409	例金融賬戶 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