Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoccidiodesPosadasii(coccidiodes posadasii) |
| appearance as argument number 1 |
|
| (subclass CoccidiodesPosadasii FungalAgent) | WMD.kif 1387-1387 | Coccidiodes posadasii is a subclass of fungal agent |
| (biochemicalAgentSyndrome CoccidiodesPosadasii RiftValleyFever) | WMD.kif 1394-1394 | Rift valley fever is a biochemical agent syndrome of coccidiodes posadasii |
| (documentation CoccidiodesPosadasii EnglishLanguage "A recently discovered Fungus that is related to CoccidioidesImmitis and that also causes RiftValleyFever.") | WMD.kif 1395-1396 | Rift valley fever is a biochemical agent syndrome of coccidiodes posadasii |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CoccidiodesPosadasii "coccidiodes posadasii") | domainEnglishFormat.kif 15438-15438 | |
| (termFormat ChineseTraditionalLanguage CoccidiodesPosadasii "球孢子菌 posadasii") | domainEnglishFormat.kif 15439-15439 | |
| (termFormat ChineseLanguage CoccidiodesPosadasii "球孢子菌 posadasii") | domainEnglishFormat.kif 15440-15440 |
| antecedent |
|
|
| (=> (equal ?C (AgentOfOrganismFn CoccidiodesPosadasii)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1389-1392 | If equal X and the biological agent of coccidiodes posadasii, then X is a subclass of life threatening agent |
|