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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Virus

Sigma KEE - Virus
Virus

appearance as argument number 1
-------------------------


(documentation Virus ChineseLanguage "这是一种由一层蛋白质保护层包围的单个核酸核心所组成的 Organism。 病毒这可能在它宿的活细胞内复制,它只表现有一些、而不是生物常见的所有特征。") Merge.kif 14546-14547
(documentation Virus EnglishLanguage "An Organism consisting of a core of a single nucleic acid enclosed in a protective coat of protein. A virus may replicate only inside a host living cell. A virus exhibits some but not all of the usual characteristics of living things.") Merge.kif 14542-14545
(externalImage Virus "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tevenphage.png") pictureList.kif 888-888
(partition Virus DNAVirus RNAVirus) VirusProteinAndCellPart.kif 40-40
(partition Virus UnenvelopedVirus EnvelopedVirus) VirusProteinAndCellPart.kif 42-42
(partition Virus VirusDoubleStranded VirusSingleStranded) VirusProteinAndCellPart.kif 41-41
(subclass Virus Microorganism) Merge.kif 14541-14541

appearance as argument number 2
-------------------------


(subclass DNAVirus Virus) VirusProteinAndCellPart.kif 55-55
(subclass EnvelopedVirus Virus) VirusProteinAndCellPart.kif 96-96
(subclass RNAVirus Virus) VirusProteinAndCellPart.kif 81-81
(subclass TickBorneEncephalitisVirus Virus) WMD.kif 1822-1822
(subclass UnenvelopedVirus Virus) VirusProteinAndCellPart.kif 92-92
(subclass ViralAgent Virus) WMD.kif 231-231
(subclass VirusDoubleStranded Virus) VirusProteinAndCellPart.kif 101-101
(subclass VirusSingleStranded Virus) VirusProteinAndCellPart.kif 105-105
(termFormat ChineseLanguage Virus "病毒") chinese_format.kif 975-975
(termFormat EnglishLanguage Virus "virus") english_format.kif 991-991
(termFormat JapaneseLanguage Virus "ウイルス") english_format.kif 992-992
(typicalPart ViralGenome Virus) VirusProteinAndCellPart.kif 526-526
(typicalPart VirionEnzyme Virus) VirusProteinAndCellPart.kif 551-551

appearance as argument number 3
-------------------------


(domain ViralPartFn 1 Virus) VirusProteinAndCellPart.kif 572-572
(domain geneticSubstrateOfVirus 1 Virus) VirusProteinAndCellPart.kif 35-35
(domain invadingVirus 2 Virus) VirusProteinAndCellPart.kif 25-25

antecedent
-------------------------


(=>
    (and
        (instance ?VIRUS Virus)
        (inhabits ?VIRUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14549-14553
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14555-14563
(=>
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))
VirusProteinAndCellPart.kif 560-565

consequent
-------------------------


(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 553-558
(=>
    (instance ?PART VirusPart)
    (exists (?VIRUS)
        (and
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 519-524


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