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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fungus
Fungus(fungus)Acrasiomycetes, Agaricus, Albatrellus, Albatrellus_dispansus, Albatrellus_ovinus, Albuginaceae, Albugo, Aleuria_aurantia, Amanita, Amanita_mappa, Amanita_muscaria, Amanita_phalloides, Amanita_verna, American_parasol, Aphyllophorales, Armillaria, Armillaria_caligata, Armillaria_ponderosa, Armillaria_zelleri, Armillariella, Armillariella_mellea, Ascomycetes, Ascomycota, Ascomycotina, Aspergillaceae, Aspergillales, Aspergillus, Aspergillus_fumigatus, Astreus, Astreus_hygrometricus, Astreus_pteridis, Auricularia, Auricularia_auricula, Auriculariaceae, Auriculariales, Basidiomycetes, Basidiomycota, Basidiomycotina, Blastocladia, Blastocladiales, Blastodiaceae, Blastomyces, Boletaceae, Boletellus, Boletellus_russellii, Boletus, Boletus_chrysenteron, Boletus_edulis, Boletus_frostii, Boletus_luridus...

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


s__documentation(s__Fungus,s__ChineseLanguage,'"这是一种特征为没有叶绿素,但却具有坚固细胞壁的真核 Organism。这同时包括粘液霉和真菌类,如酵母、黴菌、霉俊和蘑菇。"')

chinese_format.kif 3386-3387
s__documentation(s__Fungus,s__EnglishLanguage,'"A eukaryotic Organism characterized by the absence of chlorophyll and the presence of rigid cell walls. Included here are both slime molds and true fungi such as yeasts, molds, mildews, and mushrooms."')

Merge.kif 13786-13789
s__instance(s__Organism,s__Class)

s__instance(s__Fungus,s__Class)

s__subclass(s__Fungus,s__Organism)

Merge.kif 13785-13785 Fungus is a subclass of organism

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


s__initialPart(s__Mushroom,s__Fungus)

Food.kif 660-660 Every Mushroom is initially part of a fungus
s__subclass(s__FungalAgent,s__Fungus)

s__instance(s__FungalAgent,s__Class)

s__instance(s__Fungus,s__Class)

WMD.kif 214-214 Fungal agent is a subclass of fungus
s__termFormat(s__ChineseLanguage,s__Fungus,'"菌类"')

chinese_format.kif 969-969
s__termFormat(s__EnglishLanguage,s__Fungus,'"fungus"')

english_format.kif 1145-1145

appearance as argument number 4
-------------------------


s__partition__5(s__Organism,s__Animal,s__Plant,s__Fungus,s__Microorganism)

Merge.kif 13717-13717 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism

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


( ∀ [V__OBJ,V__FUNGUS]
   ((s__instance(V__OBJ,s__Object) ⇒
       (((s__instance(V__FUNGUS,s__Fungus) ∧
             s__inhabits(V__FUNGUS,V__OBJ))
         ⇒
         (s__instance(V__OBJ,s__Organism)))))
   )
)

Merge.kif 13791-13795

consequent
-------------------------


( ∀ [V__F,V__H]
   ((s__instance(V__H,s__Object) ⇒
       (((s__instance(V__F,s__FungalDisease) ∧
             s__attribute(V__H,V__F))
         ⇒
         (( ∃ [V__FUN]
             ((s__part(V__FUN,V__H)
               ∧
               s__instance(V__FUN,s__Fungus))))))))
)
)

Mid-level-ontology.kif 5538-5545
( ∀ [V__LICH]
   ((s__instance(V__LICH,s__Lichen) ⇒
       (( ∃ [V__FUNG]
           ((s__instance(V__FUNG,s__Fungus) ∧
               s__part(V__FUNG,V__LICH))))))
   )
)

Geography.kif 6068-6073


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