Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeliefGroup

Sigma KEE - BeliefGroup
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 16311-16312
No TPTP formula. May not be expressible in strict first order. Merge.kif 16310-16310 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 697-697 Agnosticism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1348-1348 Ahmadiyya sect is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1226-1226 Anglicanism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1448-1448 Antisemitism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 716-716 Atheism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 759-759 Bahaism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 772-772 Buddhism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 784-784 Christianity is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1309-1309 Confucianism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1362-1362 Druze sect is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1248-1248 Eastern orthodox christianity is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1321-1321 Hinduism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1333-1333 Islam is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1412-1412 Jainism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1427-1427 Judaism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1458-1458 Neopaganism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1262-1262 Protestantism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1276-1276 Roman catholicism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1377-1377 Shiite sect is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1473-1473 Shinto is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1488-1488 Sikhism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1396-1396 Sunni sect is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1503-1503 Taoism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1518-1518 Zoroastrianism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. Merge.kif 16455-16455 Religious organization 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 683-683 The number 1 argument of BeliefGroupMemberFn is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1535-1535 The number 1 argument of beliefGroupPercentInRegion is an instance of belief group
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23569-23569 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 16314-16320


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners