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 7894-7895
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 7891-7891	ChristianBible est une sous-classe de livre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7892-7892	ChristianBible classe le contenu de NewTestament
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7893-7893	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