ItalianLanguage(italian language) |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 88-88 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 92-92 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 93-93 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 104-104 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 106-106 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 112-112 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 114-114 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 115-115 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 116-116 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 117-117 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 118-118 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 120-120 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 123-123 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 133-133 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 135-135 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 136-136 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 137-137 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 139-139 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 146-146 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 151-151 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 153-153 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 154-154 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 157-157 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 158-158 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 161-161 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |