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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Virus
Virus(病毒)

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


(documentation Virus ChineseLanguage "这是一种由一层蛋白质保护层包围的单个核酸核心所组成的 Organism。 病毒这可能在它宿的活细胞内复制,它只表现有一些、而不是生物常见的所有特征。") chinese_format.kif 3397-3398
(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 14479-14482
(externalImage Virus "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tevenphage.png") pictureList.kif 887-887
(partition Virus DNAVirus RNAVirus) VirusProteinAndCellPart.kif 40-40 病毒 详尽无遗地 partitionDNA病毒RNA病毒
(partition Virus UnenvelopedVirus EnvelopedVirus) VirusProteinAndCellPart.kif 42-42 病毒 详尽无遗地 partition无包膜病毒笼罩病毒
(partition Virus VirusDoubleStranded VirusSingleStranded) VirusProteinAndCellPart.kif 41-41 病毒 详尽无遗地 partition病毒双重搁浅病毒单一搁浅
(subclass Virus Microorganism) Merge.kif 14478-14478 病毒微生物subclass

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


(subclass DNAVirus Virus) VirusProteinAndCellPart.kif 100-100 DNA病毒病毒subclass
(subclass EnvelopedVirus Virus) VirusProteinAndCellPart.kif 141-141 笼罩病毒病毒subclass
(subclass RNAVirus Virus) VirusProteinAndCellPart.kif 126-126 RNA病毒病毒subclass
(subclass TickBorneEncephalitisVirus Virus) WMD.kif 2017-2017 蜱传脑炎病毒病毒subclass
(subclass UnenvelopedVirus Virus) VirusProteinAndCellPart.kif 137-137 无包膜病毒病毒subclass
(subclass ViralAgent Virus) WMD.kif 231-231 病毒剂病毒subclass
(subclass VirusDoubleStranded Virus) VirusProteinAndCellPart.kif 146-146 病毒双重搁浅病毒subclass
(subclass VirusSingleStranded Virus) VirusProteinAndCellPart.kif 150-150 病毒单一搁浅病毒subclass
(termFormat ChineseLanguage Virus "病毒") chinese_format.kif 975-975
(termFormat EnglishLanguage Virus "virus") english_format.kif 1157-1157
(termFormat FrenchLanguage Virus "virus") french_format.kif 652-652
(termFormat Hindi Virus "vishaaNu") terms-hindi.txt 183-183
(termFormat ItalianLanguage Virus "Virus") terms-it.txt 186-186
(termFormat JapaneseLanguage Virus "ウイルス") japanese_format.kif 2336-2336
(termFormat PortugueseLanguage Virus "Virus") portuguese_format.kif 604-604
(termFormat cz Virus "virus") terms-cz.txt 220-220
(termFormat ro Virus "virus") relations-ro.kif 673-673
(termFormat tg Virus "lasong sakit") terms-tg.txt 187-187
(typicalPart ViralGenome Virus) VirusProteinAndCellPart.kif 1111-1111 病毒基因组 typically病毒part
(typicalPart VirionEnzyme Virus) VirusProteinAndCellPart.kif 1136-1136 病毒酶 typically病毒part

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


(domain ViralPartFn 1 Virus) VirusProteinAndCellPart.kif 1157-1157 病毒部分 的 1 数量 是 病毒instance
(domain geneticSubstrateOfVirus 1 Virus) VirusProteinAndCellPart.kif 35-35 病毒的遗传基质 的 1 数量 是 病毒instance
(domain invadingVirus 2 Virus) VirusProteinAndCellPart.kif 25-25 入侵病毒 的 2 数量 是 病毒instance
(domainSubclass vaccine 2 Virus) WMD.kif 1085-1085 vaccine 的 2 数量 是 病毒subclass

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


(=>
    (and
        (instance ?VIRUS Virus)
        (inhabits ?VIRUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14484-14488
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14490-14498
(=>
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))
VirusProteinAndCellPart.kif 1145-1150

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


(=>
    (instance ?I Interleukin)
    (hasPurpose ?I
        (exists (?D ?BV ?H)
            (and
                (instance ?H Human)
                (or
                    (instance ?BV Bacteria)
                    (instance ?BV Virus))
                (instance ?D Destruction)
                (located ?D ?H)
                (instrument ?D ?I)
                (patient ?D ?BV)))))
Medicine.kif 3750-3762
(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 1138-1143
(=>
    (instance ?PART VirusPart)
    (exists (?VIRUS)
        (and
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 1104-1109


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