| OldTestament(old testament)
| | Old_Testament |
| appearance as argument number 1 |
|
|
| (documentation OldTestament EnglishLanguage "The first part of the ChristianBible, describing the history of the Hebrew people.") | Mid-level-ontology.kif 8094-8095 | |
| (externalImage OldTestament "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Crop_Book_of_Isaiah_2006-06-06.jpg") | pictureList.kif 2716-2716 | |
| (subclass OldTestament Book) | Mid-level-ontology.kif 8093-8093 | Old testament is a subclass of book |
| appearance as argument number 2 |
|
|
| (subsumesContentClass ChristianBible OldTestament) | Mid-level-ontology.kif 8084-8084 | Christian bible subsumes the content of old testament |
| (termFormat ChineseLanguage OldTestament "旧约") | domainEnglishFormat.kif 42092-42092 | Christian bible subsumes the content of old testament |
| (termFormat ChineseTraditionalLanguage OldTestament "舊約") | domainEnglishFormat.kif 42091-42091 | Christian bible subsumes the content of old testament |
| (termFormat EnglishLanguage OldTestament "old testament") | domainEnglishFormat.kif 42090-42090 | Christian bible subsumes the content of old testament |
|
|
|