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

Formal Language: 



KB Term:  Term intersection
English Word: 

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


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