TreeView Knowledge Base Browser - ChristianBible

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ChristianBible

ChristianBible

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7867-7868
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2780-2780
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2781-2781
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7864-7864	ChristianBible est une sous-classe de livre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7865-7865	ChristianBible classe le contenu de NewTestament
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7866-7866	ChristianBible classe le contenu de OldTestament

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14718-14718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14717-14717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14716-14716

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