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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cleric
Cleric(cleric)
Hillel, amora, anagnost, churchman, clergyman, cleric, curate, divine, domestic_prelate, doorkeeper, ecclesiastic, lector, man_of_the_cloth, metropolitan, minister, minister_of_religion, non-Christian_priest, officiant, ostiarius, ostiary, parson, pastor, pontifex, postulator, preacher, preacher_man, priest, rabbi, rainmaker, reader, rector, reverend, sermoniser, sermonizer, subdeacon

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20887-20889
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4607-4607
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20885-20885 Cleric is an instance of profession
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20886-20886 Cleric is an instance of religious position

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15102-15102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15101-15101
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15100-15100

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


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

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 156-169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20911-20920
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20903-20909


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