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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BorealForest

Sigma KEE - BorealForest
BorealForest

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 BorealForest è una sottoclasse di Biome
(subclass BorealForest Forest) Geography.kif 6380-6380 BorealForest è una sottoclasse di 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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