| appearance as argument number 1 |
|
| (documentation AgentOfOrganismFn EnglishLanguage "A Function that returns the BiologicalAgent composed of the given Organism in a Solution of Mixture.") | WMD.kif 84-85 | |
| (domainSubclass AgentOfOrganismFn 1 Organism) | WMD.kif 87-87 | |
| (instance AgentOfOrganismFn UnaryFunction) | WMD.kif 86-86 | |
| (rangeSubclass AgentOfOrganismFn BiologicalAgent) | WMD.kif 88-88 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage AgentOfOrganismFn "%1 的 biological agent ") | domainEnglishFormat.kif 2723-2723 | |
| (format ChineseTraditionalLanguage AgentOfOrganismFn "%1 的 biological agent ") | domainEnglishFormat.kif 2722-2722 | |
| (format EnglishLanguage AgentOfOrganismFn "the biological agent of %1") | domainEnglishFormat.kif 2721-2721 |
| antecedent |
|
|
| (=> (equal ?C (AgentOfOrganismFn CoccidiodesPosadasii)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1384-1387 | |
| (=> (equal ?C (AgentOfOrganismFn CoccidioidesImmitis)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1372-1375 | |
| (=> (equal ?C (AgentOfOrganismFn SerratiaMarcenscens)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1362-1365 | |
| (=> (equal ?C (AgentOfOrganismFn TickBorneEncephalitisVirus)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 2009-2012 | |
| (=> (equal ?C (AgentOfOrganismFn YersiniaPestis)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 401-404 | |
| (=> (instance ?X (AgentOfOrganismFn ?Y)) (exists (?Z) (and (instance ?Z ?Y) (part ?Z ?X)))) |
WMD.kif 89-95 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners