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 |
election winner is a subrelation of candidate for position |
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 |
|