| 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 16615-16616 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16614-16614 | BeliefGroup e' uma sub-classe de GroupOfPeople |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 687-687 | Agnosticism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1338-1338 | AhmadiyyaSect e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1216-1216 | Anglicanism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1438-1438 | Antisemitism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 706-706 | Atheism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 749-749 | Bahaism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 762-762 | Buddhism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 774-774 | Christianity e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1299-1299 | Confucianism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1352-1352 | DruzeSect e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1238-1238 | EasternOrthodoxChristianity e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1311-1311 | Hinduism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1323-1323 | Islam e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1402-1402 | Jainism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1417-1417 | Judaism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1448-1448 | Neopaganism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1252-1252 | Protestantism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1266-1266 | RomanCatholicism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1367-1367 | ShiiteSect e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1463-1463 | Shinto e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1478-1478 | Sikhism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1386-1386 | SunniSect e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1493-1493 | Taoism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1508-1508 | Zoroastrianism e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3056-3056 | AntiVaxxer e' uma sub-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 | O argumento numero 1 de BeliefGroupMemberFn e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1525-1525 | O argumento numero 1 de beliefGroupPercentInRegion e' uma instancia de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24153-24153 | O argumento numero 2 de religiousAffiliationOfOrganization e' uma instancia de BeliefGroup |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16618-16624 |
|
|
|
|