Christianity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 775-777 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5913-5913 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6265-6265 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6266-6266 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6267-6267 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6268-6268 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6269-6269 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6272-6272 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 774-774 | Christianity e' uma instancia de BeliefGroup |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | People.kif 1217-1217 | Anglicanism e' uma sub-colecao de Christianity |
No TPTP formula. May not be expressible in strict first order. | People.kif 1239-1239 | EasternOrthodoxChristianity e' uma sub-colecao de Christianity |
No TPTP formula. May not be expressible in strict first order. | People.kif 1253-1253 | Protestantism e' uma sub-colecao de Christianity |
No TPTP formula. May not be expressible in strict first order. | People.kif 1267-1267 | RomanCatholicism e' uma sub-colecao de Christianity |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14730-14730 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14729-14729 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14728-14728 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 156-169 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | People.kif 795-799 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 783-788 |
|