| Christian(christian)
| | Anglican_Catholic, Arminian, Catholic, Christian, Copt, Mennonite, Old_Catholic, Trinitarian, Uniat, Uniate, Uniate_Christian, 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 794-795 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 341-341 | "http://www.adampease.org/Articulate/SUMOpictures/pictures/ flags/ miscellany/ christian.png" is a URL depicting christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 793-793 | 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 1190-1190 | Adventist is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1223-1223 | Anglican is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1196-1196 | Baptist is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1245-1245 | Eastern orthodox christian is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1193-1193 | Episcopalian is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1202-1202 | Lutheran is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1205-1205 | Methodist is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1187-1187 | Mormon is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1199-1199 | Pentecostal is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1208-1208 | Presbyterian is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1259-1259 | Protestant is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1273-1273 | Roman catholic is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14653-14653 | "基督教" is the printable form of christian in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14652-14652 | "基督教" is the printable form of christian in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14651-14651 | "christian" is the printable form of christian in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 797-801 | An entity is an attribute of an object and the entity is an instance of christian if and only if the object is a member of christianity |
| 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 |
|
|
|
|