No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 26-26 |
WebListing e' uma sub-classe de Promover |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1197-1197 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1611-1611 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 875-875 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 408-408 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 411-411 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2559-2559 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 827-827 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 413-413 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 447-447 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 896-896 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 412-412 |
|