Fungus - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Fungus Organism)	Merge.kif 14600-14600	Fungus is a subclass of organism
(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 14601-14604	Fungus is a subclass of organism

appearance as argument number 2

(initialPart Mushroom Fungus)	Food.kif 2692-2692	Every mushroom is initially part of a fungus
(subclass FungalAgent Fungus)	WMD.kif 208-208	Fungal agent is a subclass of fungus
(termFormat EnglishLanguage Fungus "fungus")	english_format.kif 1145-1145	Fungal agent is a subclass of fungus

appearance as argument number 4

(partition Organism Animal Plant Fungus Microorganism)

antecedent

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

If X is an instance of fungus and X lives in Y, then Y is an instance of organism

consequent

(=> (and (instance ?F FungalDisease) (attribute ?H ?F)) (exists (?FUN) (and (part ?FUN ?H) (instance ?FUN Fungus))))	Mid-level-ontology.kif 6835-6842	If X is an instance of fungal disease and X is an attribute of Y, then there exists Z such that Z is a part of Y and Z is an instance of fungus
(=> (and (instance ?A Omnivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (or (instance ?F Plant) (instance ?F Animal) (instance ?F Fungus)))	Mid-level-ontology.kif 22351-22360	If X is an instance of omnivore, X is an agent of Y, Y is an instance of eating, and Z is a patient of Y, then At least one of the following holds: (1) Z is an instance of plant (2) Z is an instance of animal (3) Z is an instance of fungus
(=> (and (instance ?A Fungivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (instance ?F Fungus))	Mid-level-ontology.kif 22366-22372	If X is an instance of fungivore, X is an agent of Y, Y is an instance of eating, and Z is a patient of Y, then Z is an instance of fungus
(=> (instance ?LICH Lichen) (exists (?FUNG) (and (instance ?FUNG Fungus) (part ?FUNG ?LICH))))	Geography.kif 7955-7960	If X is an instance of lichen, then there exists Y such that Y is an instance of fungus and Y is a part of X