No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 269-269 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 274-274 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 153-153 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 236-236 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1981-1981 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 105-105 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 163-163 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 347-347 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 274-274 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 172-172 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 159-159 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 428-428 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 270-270 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47812-47812 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47811-47811 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47810-47810 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 111-111 |
|