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 5888-5888
(externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Picea_glauca_taiga.jpg") pictureList.kif 6173-6173
(externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Taiga.png") pictureList.kif 6175-6175
(externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Picea_mariana_taiga.jpg") pictureList.kif 6174-6174
(subclass BorealForest Biome) Geography.kif 6379-6379 Boreal forest is a subclass of biome
(subclass BorealForest Forest) Geography.kif 6380-6380 Boreal forest is a subclass of forest

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


(termFormat ChineseLanguage BorealForest "针叶林") domainEnglishFormat.kif 11663-11663
(termFormat ChineseTraditionalLanguage BorealForest "針葉林") domainEnglishFormat.kif 11662-11662
(termFormat EnglishLanguage BorealForest "boreal forest") domainEnglishFormat.kif 11661-11661

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


(=>
    (instance ?FOREST BorealForest)
    (vegetationType ?FOREST PineTree))
Geography.kif 6566-6568


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