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 1317-1318
(subclass Collateral FinancialAsset) FinancialOntology.kif 1316-1316 抵押金融资产subclass

appearance as argument number 2

(termFormat ChineseLanguage Collateral "抵押") domainEnglishFormat.kif 15561-15561
(termFormat ChineseTraditionalLanguage Collateral "抵押") domainEnglishFormat.kif 15560-15560
(termFormat EnglishLanguage Collateral "collateral") domainEnglishFormat.kif 15559-15559

appearance as argument number 3

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


    (instance ?Collateral Collateral)
    (exists (?Loan)
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))
FinancialOntology.kif 1320-1325 抵押抵押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 3.0 is open source software produced by Articulate Software and its partners