| RomanCatholic(roman catholic) | | Roman_Catholic, papist, ultramontane |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1273-1274 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1272-1272 | Roman catholic is an instance of christian |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50357-50357 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50356-50356 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50355-50355 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1284-1286 | Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1276-1278 | Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism |
|
|
|