| Christian(christian)
| | Anglican_Catholic, Arminian, Catholic, Christian, Copt, Mennonite, Old_Catholic, Trinitarian, Uniat, Uniate, Uniate_Christian, dominical, gentile, goy, non-Jew, tritheist, unilateralist |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 792-793 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 341-341 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 791-791 | Christian is a subclass of religious attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1189-1189 | Adventist is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1222-1222 | Anglican is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1195-1195 | Baptist is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1244-1244 | Eastern orthodox christian is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1192-1192 | Episcopalian is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1201-1201 | Lutheran is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1204-1204 | Methodist is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1186-1186 | Mormon is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1198-1198 | Pentecostal is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1207-1207 | Presbyterian is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1258-1258 | Protestant is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1272-1272 | Roman catholic is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14721-14721 | Roman catholic is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14720-14720 | Roman catholic is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14719-14719 | Roman catholic is an instance of christian |
| antecedent |
|
|
| 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. | Media.kif 406-411 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 509-514 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 269-274 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 649-654 |
|
|
|
|