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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EasternOrthodoxChristian
EasternOrthodoxChristian(eastern orthodox christian)
more pictures...
Greek_Catholic

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 Eastern orthodox christian is an instance of christian

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 Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity


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