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
-------------------------


(documentation Fungus ChineseLanguage "这是一种特征为没有叶绿素,但却具有坚固细胞壁的真核 Organism。这同时包括粘液霉和真菌类,如酵母、黴菌、霉俊和蘑菇。") chinese_format.kif 3386-3387
(documentation Fungus 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 14472-14475
(subclass Fungus Organism) Merge.kif 14471-14471 Fungus is a subclass of organism

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


(initialPart Mushroom Fungus) Food.kif 2685-2685 Every mushroom is initially part of a fungus
(subclass FungalAgent Fungus) WMD.kif 214-214 Fungal agent is a subclass of fungus
(termFormat ChineseLanguage Fungus "菌类") chinese_format.kif 969-969
(termFormat EnglishLanguage Fungus "fungus") english_format.kif 1145-1145
(termFormat FrenchLanguage Fungus "champignon") french_format.kif 646-646
(termFormat Hindi Fungus "kavaka") terms-hindi.txt 177-177
(termFormat ItalianLanguage Fungus "Fungo") terms-it.txt 180-180
(termFormat JapaneseLanguage Fungus "菌類") japanese_format.kif 2330-2330
(termFormat PortugueseLanguage Fungus "Cogumelo") portuguese_format.kif 598-598
(termFormat cb Fungus "uhong") terms-cb.txt 182-182
(termFormat cz Fungus "fungus") terms-cz.txt 214-214
(termFormat ro Fungus "ciupercã") relations-ro.kif 667-667
(termFormat tg Fungus "amag") terms-tg.txt 181-181

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


(partition Organism Animal Plant Fungus Microorganism) Merge.kif 14403-14403 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism

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


(=>
    (and
        (instance ?FUNGUS Fungus)
        (inhabits ?FUNGUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14477-14481

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


(=>
    (and
        (instance ?F FungalDisease)
        (attribute ?H ?F))
    (exists (?FUN)
        (and
            (part ?FUN ?H)
            (instance ?FUN Fungus))))
Mid-level-ontology.kif 5873-5880
(=>
    (instance ?LICH Lichen)
    (exists (?FUNG)
        (and
            (instance ?FUNG Fungus)
            (part ?FUNG ?LICH))))
Geography.kif 6334-6339


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