Judaism
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 1418-1421 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5031-5031 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4911-4911 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5032-5032 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5029-5029 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5030-5030 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 1417-1417 | Judaism e' uma instancia de BeliefGroup |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31813-31813 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31812-31812 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31811-31811 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | People.kif 1428-1430 | ReligiousJew e' um atributo de Objeto Objeto e' membro de Judaism |
No TPTP formula. May not be expressible in strict first order. | People.kif 1442-1444 |