No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 344-344 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 343-343 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 342-342 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1875-1875 |
electionWinner e' uma sub-relacao de candidateForPosition |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12943-12943 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12942-12942 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12941-12941 |
|