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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 30799-30799
(termFormat ChineseTraditionalLanguage invadingVirus "入侵病毒") domainEnglishFormat.kif 30798-30798
(termFormat EnglishLanguage invadingVirus "invading virus") domainEnglishFormat.kif 30797-30797

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