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 17282-17282
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17281-17281 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 1211-1211 Abbot is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 1383-1383 Ayatollah is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 828-828 Bishop is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 1296-1296 Cardinal is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 1135-1135 Chaplain is an instance of religious position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17291-17291 Cleric is an instance of religious position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17302-17302 Deacon is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 682-682 Monk is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 1289-1289 Pope is an instance of religious position
No TPTP formula. May not be expressible in strict first order. People.kif 1434-1434 Rabbi is an instance of religious position
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49412-49412
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49411-49411
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49410-49410

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


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


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