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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lending
Lending(貸し)

appearance as argument number 1
-------------------------


(documentation Lending ChineseLanguage "这是 Giving Processsubclass,这是在当 agent 在一段有限的时间内给 destination 一些东西,并预期东西稍后会被归还(也许会加上利息)。") Merge.kif 11688-11689
(documentation Lending EnglishLanguage "The subclass of Giving Processes where the agent gives the destination something for a limited period of time with the expectation that it will be returned later (perhaps with interest).") Merge.kif 11684-11687
(externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/0/ 0c/ General_government_net_lending_of_Hungary_2005-2010.png") pictureList.kif 7187-7187 externalImage 貸し and "http://upload.wikimedia.org/wikipedia/commons/0/0c/ General_government_net_lending_of_Hungary_2005-2010.png"
(externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/4/ 4f/ Credit-cards.jpg") pictureList.kif 7189-7189 externalImage 貸し and "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Credit-cards.jpg"
(externalImage Lending "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ President_Franklin_D._Roosevelt-1941.jpg") pictureList.kif 7188-7188 externalImage 貸し and "http://upload.wikimedia.org/wikipedia/commons/8/8d/ President_Franklin_D._Roosevelt-1941.jpg"
(externalImage Lending "http://upload.wikimedia.org/wikipedia/en/7/76/2005private_sector_credit.PNG") pictureList.kif 6669-6669 externalImage 貸し and "http://upload.wikimedia.org/wikipedia/en/7/76/2005private_sector_credit.PNG"
(subclass Lending Giving) Merge.kif 11683-11683 subclass 貸し and 与える

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Lending "借出") chinese_format.kif 1135-1135 termFormat ChineseLanguage, 貸し and "借出"
(termFormat EnglishLanguage Lending "lending") english_format.kif 1482-1482 termFormat EnglishLanguage, 貸し and "lending"
(termFormat JapaneseLanguage Lending "貸し") english_format.kif 1483-1483 termFormat JapaneseLanguage, 貸し and "貸し"

consequent
-------------------------


(<=>
    (exists (?BORROW)
        (and
            (instance ?BORROW Borrowing)
            (agent ?BORROW ?AGENT1)
            (origin ?BORROW ?AGENT2)
            (patient ?BORROW ?OBJECT)))
    (exists (?LEND)
        (and
            (instance ?LEND Lending)
            (agent ?LEND ?AGENT2)
            (destination ?LEND ?AGENT1)
            (patient ?LEND ?OBJECT))))
Merge.kif 11691-11703 工程 instance 工程 and 借り agent 工程 and 代理(人) origin 工程 and 代理(人) patient 工程 and エンティティー 工程 instance 工程 and 貸し agent 工程 and 代理(人) destination 工程 and 代理(人) patient 工程 and エンティティー
(=>
    (lender ?Loan ?Agent)
    (exists (?Lending)
        (and
            (instance ?Lending Lending)
            (agent ?Lending ?Agent))))
FinancialOntology.kif 1233-1238


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