EidAladha |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 267-270 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9995-9995 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 272-272 | EidAladha e' uma sub-classe de Processo Religioso |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21348-21348 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21347-21347 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21346-21346 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 273-278 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 244-253 |
|