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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11894-11905
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1320-1325


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