TreeView Knowledge Base Browser - Christian

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Christian

Christian

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 792-793
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 341-341
No TPTP formula. May not be expressible in strict first order.	People.kif 791-791	Christian e' uma sub-classe de ReligiousAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 1188-1188	Adventist e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1221-1221	Anglican e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1194-1194	Baptist e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1243-1243	EasternOrthodoxChristian e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1191-1191	Episcopalian e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1200-1200	Lutheran e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1203-1203	Methodist e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1185-1185	Mormon e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1197-1197	Pentecostal e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1206-1206	Presbyterian e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1257-1257	Protestant e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1271-1271	RomanCatholic e' uma instancia de Christian
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14712-14712
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14711-14711
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14710-14710

antecedent

No TPTP formula. May not be expressible in strict first order.	People.kif 795-799	Atributo e' um atributo de Objeto Atributo e' uma instancia de Christian Objeto e' membro de Christianity
No TPTP formula. May not be expressible in strict first order.	Media.kif 406-411	Christian e' um atributo de Agente Cognitivo vale durante Holiday Holiday e' uma instancia de ChristmasDay observesHoliday Agente Cognitivo and Holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 509-514	Christian e' um atributo de Agente Cognitivo vale durante Holiday Holiday e' uma instancia de EasterSunday observesHoliday Agente Cognitivo and Holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 269-274	Holiday e' uma instancia de ChristianHoliday Christian e' um atributo de Agente Cognitivo vale durante Holiday observesHoliday Agente Cognitivo and Holiday

consequent

No TPTP formula. May not be expressible in strict first order.

Music.kif 647-652

musicGenre Objeto and ChristianMusic
Objeto Christian e' um atributo de Objeto Objeto inclui uma referencia a Objeto

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