No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1398-1398 |
Cable e' uma sub-classe de Conexao de Engenharia |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1387-1387 |
InternetConnection e' uma sub-classe de Conexao de Engenharia |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1062-1062 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1335-1335 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 740-740 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 271-271 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 274-274 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2424-2424 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 692-692 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 310-310 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 761-761 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 275-275 |
|