Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   OldTestament
|
|
|
| appearance as argument number 1 |
|
|
| (subclass OldTestament Book) | Mid-level-ontology.kif 9196-9196 | Old testament is a subclass of book |
| (documentation OldTestament EnglishLanguage "The first part of the ChristianBible, describing the history of the Hebrew people.") | Mid-level-ontology.kif 9197-9198 | Old testament is a subclass of book |
| (externalImage OldTestament "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Crop_Book_of_Isaiah_2006-06-06.jpg") | pictureList.kif 2715-2715 | Old testament is a subclass of book |
| appearance as argument number 2 |
|
|
| (subsumesContentClass ChristianBible OldTestament) | Mid-level-ontology.kif 9187-9187 | Christian bible subsumes the content of old testament |
| (termFormat EnglishLanguage OldTestament "old testament") | domainEnglishFormat.kif 42053-42053 | Christian bible subsumes the content of old testament |
| (termFormat ChineseTraditionalLanguage OldTestament "舊約") | domainEnglishFormat.kif 42054-42054 | Christian bible subsumes the content of old testament |
| (termFormat ChineseLanguage OldTestament "旧约") | domainEnglishFormat.kif 42055-42055 | Christian bible subsumes the content of old testament |
|
