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 15454-15455
No TPTP formula. May not be expressible in strict first order. Merge.kif 15453-15453 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 689-689 Agnosticism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1340-1340 Ahmadiyya sect is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1218-1218 Anglicanism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1440-1440 Antisemitism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 708-708 Atheism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 751-751 Bahaism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 764-764 Buddhism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 776-776 Christianity is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1301-1301 Confucianism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1354-1354 Druze sect is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1240-1240 Eastern orthodox christianity is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1313-1313 Hinduism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1325-1325 Islam is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1404-1404 Jainism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1419-1419 Judaism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1450-1450 Neopaganism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1254-1254 Protestantism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1268-1268 Roman catholicism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1369-1369 Shiite sect is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1465-1465 Shinto is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1480-1480 Sikhism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1388-1388 Sunni sect is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1495-1495 Taoism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1510-1510 Zoroastrianism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. Merge.kif 15592-15592 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 675-675 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 1527-1527 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 21961-21961 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 15457-15463


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