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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReligiousOrganization

Sigma KEE - ReligiousOrganization
ReligiousOrganization(religious organization)Abecedarian, Albigenses, American_Baptist_Convention, Amish_sect, Anabaptist_denomination, Anglo-catholic, Arminian_Baptist, Arminian_Church, Assemblies_of_God, Augustinian, Augustinian_Canons, Augustinian_Hermits, Augustinian_order, Austin_Friar, Austin_Friars, Baptist_denomination, Benedictine, Benedictine_order, Black_Friar, Blackfriar, Brahmanism, Brahminism, Buddhism, Buddhist, Buddhistic, Byzantine, Byzantine_Church, Calvinistic_Baptist, Carmelite, Carmelite_order, Carthusian_order, Cathari, Cathars, Catholic_Church, Chasidim, Chassidim, Christian_Church, Christian_Science, Church_of_Christ_Scientist, Church_of_Jesus_Christ_of_Latter-Day_Saints, Church_of_Scientology, Church_of_the_Brethren, Confucian, Congregation_of_the_Inquisition, Congregational_Christian_Church, Congregational_Church, Congregationalist, Conservative_Judaism, Coptic, Coptic_Church...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3749-3750
No TPTP formula. May not be expressible in strict first order. Merge.kif 16738-16739
No TPTP formula. May not be expressible in strict first order. Merge.kif 16737-16737 Religious organization is a subclass of belief group
No TPTP formula. May not be expressible in strict first order. Merge.kif 16736-16736 Religious organization is a subclass of organization

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 1229-1229 Church of england is an instance of religious organization
No TPTP formula. May not be expressible in strict first order. People.kif 1279-1279 Roman catholic church is an instance of religious organization
No TPTP formula. May not be expressible in strict first order. People.kif 1212-1212 Abbey is a subclass of religious organization
No TPTP formula. May not be expressible in strict first order. People.kif 801-801 Church is a subclass of religious organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7899-7899 Mission organization is a subclass of religious organization
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1072-1072
No TPTP formula. May not be expressible in strict first order. english_format.kif 1355-1355
No TPTP formula. May not be expressible in strict first order. french_format.kif 750-750
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 282-282
No TPTP formula. May not be expressible in strict first order. terms-it.txt 285-285
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2434-2434
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 702-702
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 321-321
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 771-771
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 286-286

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20911-20920

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 352-357
No TPTP formula. May not be expressible in strict first order. Government.kif 345-350
No TPTP formula. May not be expressible in strict first order. Merge.kif 10562-10571
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20879-20883
No TPTP formula. May not be expressible in strict first order. People.kif 729-735
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20903-20909
No TPTP formula. May not be expressible in strict first order. Biography.kif 132-143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20891-20895


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