Fungus - Sigma Knowledge base Browser

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 14500-14503
(subclass Fungus Organism)	Merge.kif 14499-14499	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	Fungal agent is a subclass of fungus
(termFormat EnglishLanguage Fungus "fungus")	english_format.kif 1145-1145	Fungal agent is a subclass of fungus
(termFormat FrenchLanguage Fungus "champignon")	french_format.kif 646-646	Fungal agent is a subclass of fungus
(termFormat Hindi Fungus "kavaka")	terms-hindi.txt 177-177	Fungal agent is a subclass of fungus
(termFormat ItalianLanguage Fungus "Fungo")	terms-it.txt 180-180	Fungal agent is a subclass of fungus
(termFormat JapaneseLanguage Fungus "菌類")	japanese_format.kif 2330-2330	Fungal agent is a subclass of fungus
(termFormat PortugueseLanguage Fungus "Cogumelo")	portuguese_format.kif 598-598	Fungal agent is a subclass of fungus
(termFormat cb Fungus "uhong")	terms-cb.txt 182-182	Fungal agent is a subclass of fungus
(termFormat cz Fungus "fungus")	terms-cz.txt 214-214	Fungal agent is a subclass of fungus
(termFormat de Fungus "Pilz")	terms-de.txt 473-473	Fungal agent is a subclass of fungus
(termFormat ro Fungus "ciupercã")	relations-ro.kif 667-667	Fungal agent is a subclass of fungus
(termFormat tg Fungus "amag")	terms-tg.txt 181-181	Fungal agent is a subclass of fungus

appearance as argument number 4

(partition Organism Animal Plant Fungus Microorganism)

Merge.kif 14431-14431

antecedent

(=>
    (and
        (instance ?FUNGUS Fungus)
        (inhabits ?FUNGUS ?OBJ))
    (instance ?OBJ Organism))

Merge.kif 14505-14509

consequent

(=> (and (instance ?F FungalDisease) (attribute ?H ?F)) (exists (?FUN) (and (part ?FUN ?H) (instance ?FUN Fungus))))	Mid-level-ontology.kif 6428-6435	If an attribute is an instance of fungal disease and the attribute is an attribute of an object, then there exists the attributeUN such that the attributeUN is a part of the object and the attributeUN is an instance of fungus
(=> (instance ?LICH Lichen) (exists (?FUNG) (and (instance ?FUNG Fungus) (part ?FUNG ?LICH))))	Geography.kif 6402-6407	If an object is an instance of lichen, then there exists another object such that the other object is an instance of fungus and the other object is a part of the object