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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousPosition
ReligiousPosition(religious position)Grand_Inquisitor, Guru, Mahdi, Photius, exorcist, guru, liturgist

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22494-22494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22493-22493 Religious position is a subclass of position

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


No TPTP formula. May not be expressible in strict first order. People.kif 1210-1210 Abbot is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 1382-1382 Ayatollah is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 826-826 Bishop is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 1295-1295 Cardinal is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 1134-1134 Chaplain is an instance of religious position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22503-22503 Cleric is an instance of religious position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22514-22514 Deacon is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 680-680 Monk is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 1288-1288 Pope is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 1433-1433 Rabbi is an instance of religious position
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49434-49434 Rabbi is an instance of religious position
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49433-49433 Rabbi is an instance of religious position
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49432-49432 Rabbi is an instance of religious position

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


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

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 136-147


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