No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 559-559 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 564-564 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 329-329 |
|
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. |
japanese_format.kif 2093-2093 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 281-281 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 731-731 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 128-128 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 350-350 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 364-364 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 191-191 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21246-21246 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 560-560 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21245-21245 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21244-21244 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 192-192 |
|