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 invadingVirus 的 1 数量 是 ViralCellInvasioninstance
(domain invadingVirus 2 Virus) VirusProteinAndCellPart.kif 25-25 invadingVirus 的 2 数量 是 病毒instance
(instance invadingVirus CaseRole) VirusProteinAndCellPart.kif 21-21 invadingVirus格角色instance
(instance invadingVirus SingleValuedRelation) VirusProteinAndCellPart.kif 22-22 invadingVirus单值关系instance
(subrelation invadingVirus agent) VirusProteinAndCellPart.kif 23-23 invadingVirus主事subrelation

appearance as argument number 2

(format EnglishLanguage invadingVirus "%2 is %n an invading virus of %1") domainEnglishFormat.kif 353-353
(termFormat EnglishLanguage invadingVirus "invading virus") domainEnglishFormat.kif 5550-5550 termFormat EnglishLanguage, invadingVirus and "invading virus"

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners