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 |