|
|
   ReligiousAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 665-668 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 664-664 | ReligiousAttribute est une sous-classe de attribut relationnel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 754-754 | Bahai est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 766-766 | Buddhist est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1303-1303 | Confucianist est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1315-1315 | Hindu est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1407-1407 | Jain est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1327-1327 | Muslim est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1453-1453 | Neopaganismist est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1424-1424 | ReligiousJew est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1468-1468 | Shintoist est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1483-1483 | Sikh est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1498-1498 | Taoist est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1513-1513 | Zoroastrian est une instance de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 791-791 | Christian est une sous-classe de ReligiousAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49394-49394 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49393-49393 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49392-49392 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 633-639 |
|
|
|
|