Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Fungus Organism) | Merge.kif 14737-14737 | 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 14738-14741 | Fungus is a subclass of organism |
| appearance as argument number 2 |
|
|
| (initialPart Mushroom Fungus) | Food.kif 2713-2713 | 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 1149-1149 | Fungal agent is a subclass of fungus |
| appearance as argument number 4 |
|
|
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14670-14670 | Organism is exhaustively partitioned into animal, plant, fungus, and microorganism |
| antecedent |
|
|
| (=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14743-14747 | 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 6998-7005 | 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 22295-22304 | 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 22310-22316 | 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 7959-7964 | 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 |
|
