Borrowing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Borrowing

Borrowing(borrowing)

more pictures...

borrow, borrowing, pawn, rental, renting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3091-3092
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11805-11807
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1862-1863
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10537-10537
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10536-10536
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10529-10529
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10532-10532
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10533-10533
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10534-10534
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10531-10531
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10535-10535
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10530-10530
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11803-11803	Borrowing is a subclass of getting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22422-22422	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1138-1138
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1493-1493
No TPTP formula. May not be expressible in strict first order.	french_format.kif 816-816
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 348-348
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 351-351
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2500-2500
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 768-768
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 353-353
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 387-387
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 837-837
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 352-352

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11731-11742

If a process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process,
then there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11744-11755	If a process is an instance of lending and an agent is an agent of the process and the process ends up at another agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of borrowing and the other agent is an agent of the other process and the other process originates at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1304-1309	If a loan is the borrower of a cognitive agent, then there exists a process such that the process is an instance of borrowing and the cognitive agent is an agent of the process

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