Lending
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3082-3083 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11772-11775 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1852-1853 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7185-7185 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7187-7187 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7186-7186 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6668-6668 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11770-11770 | 借出 是 给予 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1135-1135 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1487-1487 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 813-813 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 345-345 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 348-348 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2497-2497 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 765-765 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 350-350 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 384-384 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 834-834 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 349-349 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11790-11801 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11777-11788 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1291-1296 |