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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BorealForest
BorealForest(boreal forest)

appearance as argument number 1
-------------------------


(externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Ptilium_crista_castrensis.jpg") pictureList.kif 5887-5887
(externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Picea_glauca_taiga.jpg") pictureList.kif 6172-6172
(externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Taiga.png") pictureList.kif 6174-6174
(externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Picea_mariana_taiga.jpg") pictureList.kif 6173-6173
(subclass BorealForest Biome) Geography.kif 6682-6682 Boreal forest is a subclass of biome
(subclass BorealForest Forest) Geography.kif 6683-6683 Boreal forest is a subclass of forest

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage BorealForest "针叶林") domainEnglishFormat.kif 11672-11672
(termFormat ChineseTraditionalLanguage BorealForest "針葉林") domainEnglishFormat.kif 11671-11671
(termFormat EnglishLanguage BorealForest "boreal forest") domainEnglishFormat.kif 11670-11670

antecedent
-------------------------


(=>
    (instance ?FOREST BorealForest)
    (vegetationType ?FOREST PineTree))
Geography.kif 6869-6871


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