|
|
   BeliefGroup
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3719-3719 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16593-16594 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16592-16592 | BeliefGroup est une sous-classe de GroupOfPeople |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 687-687 | Agnosticism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1338-1338 | AhmadiyyaSect est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1216-1216 | Anglicanism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1438-1438 | Antisemitism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 706-706 | Atheism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 749-749 | Bahaism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 762-762 | Buddhism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 774-774 | Christianity est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1299-1299 | Confucianism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1352-1352 | DruzeSect est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1238-1238 | EasternOrthodoxChristianity est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1311-1311 | Hinduism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1323-1323 | Islam est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1402-1402 | Jainism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1417-1417 | Judaism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1448-1448 | Neopaganism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1252-1252 | Protestantism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1266-1266 | RomanCatholicism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1367-1367 | ShiiteSect est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1463-1463 | Shinto est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1478-1478 | Sikhism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1386-1386 | SunniSect est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1493-1493 | Taoism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1508-1508 | Zoroastrianism est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3056-3056 | AntiVaxxer est une sous-classe de BeliefGroup |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 673-673 | Le nombre 1 argument de BeliefGroupMemberFn est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1525-1525 | Le nombre 1 argument de beliefGroupPercentInRegion est une instance de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24154-24154 | Le nombre 2 argument de religiousAffiliationOfOrganization est une instance de BeliefGroup |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16596-16602 |
|
|
|
|