Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Collateral

appearance as argument number 1

(documentation Collateral EnglishLanguage "Assets pledged by a borrower to secure a loan or other credit, and subject to seizure in the event of FinancialDefault.") FinancialOntology.kif 1259-1260
(subclass Collateral FinancialAsset) FinancialOntology.kif 1258-1258 抵押金融资产subclass

appearance as argument number 2

(termFormat ChineseLanguage Collateral "抵押") domainEnglishFormat.kif 15493-15493
(termFormat ChineseTraditionalLanguage Collateral "抵押") domainEnglishFormat.kif 15492-15492
(termFormat EnglishLanguage Collateral "collateral") domainEnglishFormat.kif 15491-15491

appearance as argument number 3

(domain appraisedValue 1 Collateral) FinancialOntology.kif 1426-1426 评估价值 的 1 数量 是 抵押instance
(domain faceValue 1 Collateral) FinancialOntology.kif 2229-2229 面值 的 1 数量 是 抵押instance
(domain securedBy 2 Collateral) FinancialOntology.kif 1273-1273 担保由 的 2 数量 是 抵押instance


    (instance ?Collateral Collateral)
    (exists (?Loan)
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))
FinancialOntology.kif 1262-1267 抵押抵押instance 若且唯若 有存在 金融账户 这样 那个 金融账户担保贷款instance那个 抵押那个 金融账户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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners