| 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 2714-2714 | |
| (format ChineseTraditionalLanguage AgentOfOrganismFn "%1 的 biological agent ") | domainEnglishFormat.kif 2713-2713 | |
| (format EnglishLanguage AgentOfOrganismFn "the biological agent of %1") | domainEnglishFormat.kif 2712-2712 | |
| (termFormat EnglishLanguage AgentOfOrganismFn "Agent of organism fn") | domainEnglishFormat.kif 64441-64441 |
| antecedent |
|
|
| (=> (equal ?C (AgentOfOrganismFn CoccidiodesPosadasii)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1393-1396 | |
| (=> (equal ?C (AgentOfOrganismFn CoccidioidesImmitis)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1381-1384 | |
| (=> (equal ?C (AgentOfOrganismFn SerratiaMarcenscens)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1371-1374 | |
| (=> (equal ?C (AgentOfOrganismFn TickBorneEncephalitisVirus)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 2019-2022 | |
| (=> (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