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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 BorealForestBiomesubclass では %n
(subclass BorealForest Forest) Geography.kif 6380-6380 BorealForestForestsubclass では %n

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