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 Le nombre 1 argument de invadingVirus est une instance de ViralCellInvasion
(domain invadingVirus 2 Virus) VirusProteinAndCellPart.kif 25-25 Le nombre 2 argument de invadingVirus est une instance de virus
(instance invadingVirus CaseRole) VirusProteinAndCellPart.kif 21-21 invadingVirus est une instance de r�le d�pendant du cas
(instance invadingVirus SingleValuedRelation) VirusProteinAndCellPart.kif 22-22 invadingVirus est une instance de relation simple
(subrelation invadingVirus agent) VirusProteinAndCellPart.kif 23-23 invadingVirus est une sous-relation de 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 30799-30799
(termFormat ChineseTraditionalLanguage invadingVirus "入侵病毒") domainEnglishFormat.kif 30798-30798
(termFormat EnglishLanguage invadingVirus "invading virus") domainEnglishFormat.kif 30797-30797


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