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 11048-11050
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10558-10558
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10557-10557
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10550-10550
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10553-10553
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10554-10554
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10555-10555
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10552-10552
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10556-10556
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10551-10551
No TPTP formula. May not be expressible in strict first order. Merge.kif 11046-11046 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 20361-20361 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 1498-1498

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10986-10998 There exists a process such that the 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 if and only if 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. FinancialOntology.kif 1258-1263


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