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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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


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



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