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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousPosition
ReligiousPosition

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20904-20904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20903-20903 ReligiousPosition e' uma sub-classe de Posicao

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


No TPTP formula. May not be expressible in strict first order. People.kif 1209-1209 Abbot e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 1381-1381 Ayatollah e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 826-826 Bishop e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 1294-1294 Cardinal e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 1133-1133 Chaplain e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20913-20913 Cleric e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20924-20924 Deacon e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 680-680 Monk e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 1287-1287 Pope e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 1432-1432 Rabbi e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49432-49432
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49431-49431
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49430-49430

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


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

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 132-143


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