No TPTP formula. May not be expressible in strict first order. |
People.kif 1188-1188 |
Adventist is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1221-1221 |
Anglican is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1194-1194 |
Baptist is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1243-1243 |
Eastern orthodox christian is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1191-1191 |
Episcopalian is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1200-1200 |
Lutheran is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1203-1203 |
Methodist is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1185-1185 |
Mormon is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1197-1197 |
Pentecostal is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1206-1206 |
Presbyterian is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1257-1257 |
Protestant is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1271-1271 |
Roman catholic is an instance of christian |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14712-14712 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14711-14711 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14710-14710 |
|