No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 447-447 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 453-453 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 260-260 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 293-293 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2050-2050 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 212-212 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 266-266 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 583-583 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 329-329 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 281-281 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 286-286 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 448-448 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57436-57436 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57435-57435 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57434-57434 |
|