No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 475-475 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 481-481 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 274-274 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 259-259 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2064-2064 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 226-226 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 280-280 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 618-618 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 296-296 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 295-295 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 301-301 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 451-451 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9398-9398 |
Seconde est reli� � l'int�rieur de SUMO � SecondFn |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 476-476 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51815-51815 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51814-51814 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51813-51813 |
|