Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Fungus |  |
| appearance as argument number 1 |
|
|
| (subclass Fungus Organism) | Merge.kif 14737-14737 | |
| (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 14738-14741 |
| appearance as argument number 2 |
|
|
| (initialPart Mushroom Fungus) | Food.kif 2713-2713 | |
| (subclass FungalAgent Fungus) | WMD.kif 208-208 | |
| (termFormat EnglishLanguage Fungus "fungus") | english_format.kif 1149-1149 |
| appearance as argument number 4 |
|
|
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14670-14670 |
| antecedent |
|
|
| (=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14743-14747 |
| consequent |
|
|
| (=> (and (instance ?F FungalDisease) (attribute ?H ?F)) (exists (?FUN) (and (part ?FUN ?H) (instance ?FUN Fungus)))) |
Mid-level-ontology.kif 6998-7005 | |
| (=> (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 22295-22304 | |
| (=> (and (instance ?A Fungivore) (agent ?E ?A) (instance ?E Eating) (patient ?E ?F)) (instance ?F Fungus)) |
Mid-level-ontology.kif 22310-22316 | |
| (=> (instance ?LICH Lichen) (exists (?FUNG) (and (instance ?FUNG Fungus) (part ?FUNG ?LICH)))) |
Geography.kif 7959-7964 |
|