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 20876-20876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20875-20875 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 20885-20885 Cleric e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20896-20896 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 49430-49430
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49429-49429
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49428-49428

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


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

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