| FungalAgent(fungal agent)
|
| appearance as argument number 1 |
|
| (documentation FungalAgent EnglishLanguage "Any BiologicalAgent that is also a Fungus.") | WMD.kif 215-215 | |
| (externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ DirkvdM_barbed_fungus.jpg") | pictureList.kif 8496-8496 | |
| (externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Aspergillus.jpg") | pictureList.kif 9244-9244 | |
| (externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Fungi_in_Borneo.jpg") | pictureList.kif 9245-9245 | |
| (externalImage FungalAgent "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ S_cerevisiae_under_DIC_microscopy.jpg") | pictureList.kif 9246-9246 | |
| (subclass FungalAgent Fungus) | WMD.kif 214-214 | Fungal agent is a subclass of fungus |
| (subclass FungalAgent ToxicOrganism) | WMD.kif 213-213 | Fungal agent is a subclass of toxic organism |
| appearance as argument number 2 |
|
|
| (subclass CoccidiodesPosadasii FungalAgent) | WMD.kif 1391-1391 | Coccidiodes posadasii is a subclass of fungal agent |
| (subclass CoccidioidesImmitis FungalAgent) | WMD.kif 1379-1379 | Coccidioides immitis is a subclass of fungal agent |
| (termFormat ChineseLanguage FungalAgent "真菌剂") | domainEnglishFormat.kif 25266-25266 | Coccidioides immitis is a subclass of fungal agent |
| (termFormat ChineseTraditionalLanguage FungalAgent "真菌劑") | domainEnglishFormat.kif 25265-25265 | Coccidioides immitis is a subclass of fungal agent |
| (termFormat EnglishLanguage FungalAgent "fungal agent") | domainEnglishFormat.kif 25264-25264 | Coccidioides immitis is a subclass of fungal agent |
| consequent |
|
|
| (=> (instance ?SUBSTANCE Mycotoxin) (exists (?FUNGUS ?PROCESS) (and (instance ?FUNGUS FungalAgent) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?FUNGUS) (result ?PROCESS ?SUBSTANCE)))) |
WMD.kif 221-228 |
|
|
|
|