hi |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 154-154 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 155-155 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 156-156 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 157-157 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 158-158 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 160-160 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 163-163 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 172-172 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 174-174 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 175-175 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 176-176 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 178-178 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 185-185 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 190-190 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 192-192 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 193-193 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 196-196 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 197-197 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 200-200 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 205-205 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 206-206 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 57-57 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 207-207 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 209-209 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 210-210 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |