tg |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 52-52 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 53-53 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 54-54 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 58-58 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 59-59 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 60-60 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 62-62 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 78-78 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 84-84 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 86-86 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 98-98 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |