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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChristianBible
ChristianBible(christian bible)
Bible, Book, Christian_Bible, Good_Book, Holy_Scripture, Holy_Writ, Scripture, Word, Word_of_God, biblical, scriptural

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 Christian bible is a subclass of book
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7865-7865 Christian bible subsumes the content of new testament
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7866-7866 Christian bible subsumes the content of old testament

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 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