Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   NewTestament
|
|
|
| appearance as argument number 1 |
|
|
| (subclass NewTestament Book) | Mid-level-ontology.kif 9200-9200 | New testament is a subclass of book |
| (subsumesContentClass NewTestament ChristianGospel) | Mid-level-ontology.kif 9201-9201 | New testament subsumes the content of christian gospel |
| (documentation NewTestament EnglishLanguage "The second and final part of the ChristianBible, describing the life and teachings of Jesus Christ and the activities of his apostles.") | Mid-level-ontology.kif 9202-9204 | New testament subsumes the content of christian gospel |
| (externalImage NewTestament "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Francisco_de_Enzinas_Nuevo_Testamento.001.jpg") | pictureList.kif 2713-2713 | New testament subsumes the content of christian gospel |
| (externalImage NewTestament "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ BookOfDurrowBeginMarkGospel.jpg") | pictureList.kif 2877-2877 | New testament subsumes the content of christian gospel |
| appearance as argument number 2 |
|
|
| (subsumesContentClass ChristianBible NewTestament) | Mid-level-ontology.kif 9186-9186 | Christian bible subsumes the content of new testament |
| (termFormat EnglishLanguage NewTestament "new testament") | domainEnglishFormat.kif 40375-40375 | Christian bible subsumes the content of new testament |
| (termFormat ChineseTraditionalLanguage NewTestament "新約") | domainEnglishFormat.kif 40376-40376 | Christian bible subsumes the content of new testament |
| (termFormat ChineseLanguage NewTestament "新约") | domainEnglishFormat.kif 40377-40377 | Christian bible subsumes the content of new testament |
|
