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 11955-11957
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 10535-10535
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 10527-10527
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.	pictureList.kif 10531-10531
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 10529-10529
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 10528-10528
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11953-11953	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 24063-24063	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1138-1138	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1493-1493	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	french_format.kif 816-816	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 348-348	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 351-351	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2500-2500	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 768-768	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 353-353	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 387-387	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 646-646	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 837-837	Renting is a subclass of borrowing
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 352-352	Renting is a subclass of borrowing

antecedent

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

Merge.kif 11881-11892

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 11894-11905	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 1320-1325	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