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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EasternOrthodoxChristian

Sigma KEE - EasternOrthodoxChristian
EasternOrthodoxChristian(東正教基督教)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. People.kif 1244-1245
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5975-5975
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6419-6419
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6420-6420
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6421-6421
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6422-6422
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6429-6429
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6423-6423
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6424-6424
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6430-6430
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6426-6426
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6427-6427
No TPTP formula. May not be expressible in strict first order. People.kif 1243-1243 東正教基督教 and 基督教

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20928-20928
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20927-20927
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20926-20926

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


No TPTP formula. May not be expressible in strict first order. People.kif 1247-1249 attribute Object and 東正教基督教 會員 Object and 東正教基督教


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