No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1779-1779 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1778-1778 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1777-1777 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 562-562 |
nationalCelebration e' uma sub-relacao de nationalHoliday |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39831-39831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39830-39830 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39829-39829 |
|