| appearance as argument number 1 |
|
| (documentation invadingVirus EnglishLanguage "(invadingVirus ?CELLINV ?VIRUS) means that ?VIRUS is a virus that invades a host cell in the cell invasion ?CELLINV. If the invasion results in a replication, it is the genome of the invading virus that is replicated. The original virus is destroyed but replicated in the process.") | VirusProteinAndCellPart.kif 26-30 | |
| (domain invadingVirus 1 ViralCellInvasion) | VirusProteinAndCellPart.kif 24-24 | The number 1 argument of invading virus is an instance of viral cell invasion |
| (domain invadingVirus 2 Virus) | VirusProteinAndCellPart.kif 25-25 | The number 2 argument of invading virus is an instance of virus |
| (instance invadingVirus CaseRole) | VirusProteinAndCellPart.kif 21-21 | invading virus is an instance of case role |
| (instance invadingVirus SingleValuedRelation) | VirusProteinAndCellPart.kif 22-22 | invading virus is an instance of single valued relation |
| (subrelation invadingVirus agent) | VirusProteinAndCellPart.kif 23-23 | invading virus is a subrelation of agent |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage invadingVirus "%2 %n 是 %1 的 invading 病毒") | domainEnglishFormat.kif 1381-1381 | |
| (format ChineseTraditionalLanguage invadingVirus "%2 %n 是 %1 的 invading 病毒") | domainEnglishFormat.kif 1380-1380 | |
| (format EnglishLanguage invadingVirus "%2 is %n an invading virus of %1") | domainEnglishFormat.kif 1379-1379 | |
| (termFormat ChineseLanguage invadingVirus "入侵病毒") | domainEnglishFormat.kif 30833-30833 | |
| (termFormat ChineseTraditionalLanguage invadingVirus "入侵病毒") | domainEnglishFormat.kif 30832-30832 | |
| (termFormat EnglishLanguage invadingVirus "invading virus") | domainEnglishFormat.kif 30831-30831 |
|
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