Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  invadingVirus

Sigma KEE - invadingVirus
invadingVirus

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
(domain invadingVirus 2 Virus) VirusProteinAndCellPart.kif 25-25
(instance invadingVirus CaseRole) VirusProteinAndCellPart.kif 21-21
(instance invadingVirus SingleValuedRelation) VirusProteinAndCellPart.kif 22-22
(subrelation invadingVirus agent) VirusProteinAndCellPart.kif 23-23

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 30793-30793
(termFormat ChineseTraditionalLanguage invadingVirus "入侵病毒") domainEnglishFormat.kif 30792-30792
(termFormat EnglishLanguage invadingVirus "invading virus") domainEnglishFormat.kif 30791-30791


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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