BeliefGroup(belief group) | Adventism, Amish, Aristotelean, Aristotelian, Catholicism, Catholicity, Chartist, Confederate, Conservative, Dunkard, Dunker, Fabian, Huguenot, Islamist, Jansenist, Jehovah's_Witness, Jew-baiter, Luddite, Malthusian, Maoist, Mugwump, New_Waver, Newtonian, Nonconformist, Peripatetic, Platonist, Pre-Raphaelite, Rastafarian, Rastafarianism, Roundhead, Sabbatarian, Satanist, Second_Adventism, Seventh-Day_Adventism, Shavian, Stoic, Tantrist, Tory, Tractarian, Tunker, Utopian, Wesleyan, Zionist, abhorrer, abiogenist, abolitionist, absolutist, abstainer, activist, adherent... |
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 | Belief group is a subclass of group of people |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | People.kif 687-687 | Agnosticism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1338-1338 | Ahmadiyya sect is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1216-1216 | Anglicanism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1438-1438 | Antisemitism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 706-706 | Atheism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 749-749 | Bahaism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 762-762 | Buddhism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 774-774 | Christianity is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1299-1299 | Confucianism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1352-1352 | Druze sect is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1238-1238 | Eastern orthodox christianity is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1311-1311 | Hinduism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1323-1323 | Islam is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1402-1402 | Jainism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1417-1417 | Judaism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1448-1448 | Neopaganism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1252-1252 | Protestantism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1266-1266 | Roman catholicism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1367-1367 | Shiite sect is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1463-1463 | Shinto is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1478-1478 | Sikhism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1386-1386 | Sunni sect is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1493-1493 | Taoism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1508-1508 | Zoroastrianism is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3056-3056 | Anti-vaxxer is a subclass of belief group |
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 | The number 1 argument of Belief group member fn is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1525-1525 | The number 1 argument of belief group percent in region is an instance of belief group |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24154-24154 | The number 2 argument of religious affiliation of organization is an instance of belief group |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16596-16602 |
|