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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReligiousPosition

 Sigma KEE - ReligiousPosition
ReligiousPosition

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20877-20877
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20876-20876 ReligiousPosition est une sous-classe de position

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


No TPTP formula. May not be expressible in strict first order. People.kif 1209-1209 Abbot est une instance de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 1381-1381 Ayatollah est une instance de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 826-826 Bishop est une instance de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 1294-1294 Cardinal est une instance de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 1133-1133 Chaplain est une instance de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20886-20886 Cleric est une instance de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20897-20897 Deacon est une instance de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 680-680 Monk est une instance de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 1287-1287 Pope est une instance de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. People.kif 1432-1432 Rabbi est une instance 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 20879-20883

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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