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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Virus
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 14617-14620
(externalImage Virus "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tevenphage.png") pictureList.kif 887-887
(partition Virus DNAVirus RNAVirus) VirusProteinAndCellPart.kif 40-40 Virus est compl�tement d�compos� en DNAVirus + RNAVirus
(partition Virus UnenvelopedVirus EnvelopedVirus) VirusProteinAndCellPart.kif 42-42 Virus est compl�tement d�compos� en UnenvelopedVirus + EnvelopedVirus
(partition Virus VirusDoubleStranded VirusSingleStranded) VirusProteinAndCellPart.kif 41-41 Virus est compl�tement d�compos� en VirusDoubleStranded + VirusSingleStranded
(subclass Virus Microorganism) Merge.kif 14616-14616 Virus est une sous-classe de microorganisme

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


(subclass DNAVirus Virus) VirusProteinAndCellPart.kif 104-104 DNAVirus est une sous-classe de virus
(subclass EnvelopedVirus Virus) VirusProteinAndCellPart.kif 145-145 EnvelopedVirus est une sous-classe de virus
(subclass RNAVirus Virus) VirusProteinAndCellPart.kif 130-130 RNAVirus est une sous-classe de virus
(subclass TickBorneEncephalitisVirus Virus) WMD.kif 2017-2017 TickBorneEncephalitisVirus est une sous-classe de virus
(subclass UnenvelopedVirus Virus) VirusProteinAndCellPart.kif 141-141 UnenvelopedVirus est une sous-classe de virus
(subclass ViralAgent Virus) WMD.kif 231-231 ViralAgent est une sous-classe de virus
(subclass VirusDoubleStranded Virus) VirusProteinAndCellPart.kif 150-150 VirusDoubleStranded est une sous-classe de virus
(subclass VirusSingleStranded Virus) VirusProteinAndCellPart.kif 154-154 VirusSingleStranded est une sous-classe de virus
(termFormat ChineseLanguage Virus "病毒") chinese_format.kif 975-975 VirusSingleStranded est une sous-classe de virus
(termFormat EnglishLanguage Virus "virus") english_format.kif 1157-1157 VirusSingleStranded est une sous-classe de virus
(termFormat FrenchLanguage Virus "virus") french_format.kif 652-652 VirusSingleStranded est une sous-classe de virus
(termFormat Hindi Virus "vishaaNu") terms-hindi.txt 183-183 VirusSingleStranded est une sous-classe de virus
(termFormat ItalianLanguage Virus "Virus") terms-it.txt 186-186 VirusSingleStranded est une sous-classe de virus
(termFormat JapaneseLanguage Virus "ウイルス") japanese_format.kif 2336-2336 VirusSingleStranded est une sous-classe de virus
(termFormat PortugueseLanguage Virus "Virus") portuguese_format.kif 604-604 VirusSingleStranded est une sous-classe de virus
(termFormat cz Virus "virus") terms-cz.txt 220-220 VirusSingleStranded est une sous-classe de virus
(termFormat de Virus "Virus") terms-de.txt 479-479 VirusSingleStranded est une sous-classe de virus
(termFormat ro Virus "virus") relations-ro.kif 673-673 VirusSingleStranded est une sous-classe de virus
(termFormat tg Virus "lasong sakit") terms-tg.txt 187-187 VirusSingleStranded est une sous-classe de virus
(typicalPart ViralGenome Virus) VirusProteinAndCellPart.kif 1119-1119 typicalPart ViralGenome and virus
(typicalPart VirionEnzyme Virus) VirusProteinAndCellPart.kif 1144-1144 typicalPart VirionEnzyme and virus

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


(domain ViralPartFn 1 Virus) VirusProteinAndCellPart.kif 1165-1165 Le nombre 1 argument de ViralPartFn est une instance de virus
(domain geneticSubstrateOfVirus 1 Virus) VirusProteinAndCellPart.kif 35-35 Le nombre 1 argument de geneticSubstrateOfVirus est une instance de virus
(domain invadingVirus 2 Virus) VirusProteinAndCellPart.kif 25-25 Le nombre 2 argument de invadingVirus est une instance de virus
(domainSubclass vaccine 2 Virus) WMD.kif 1085-1085 Le nombre 2 argument de vaccine est une sous-classe de virus

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


(=>
    (and
        (instance ?VIRUS Virus)
        (inhabits ?VIRUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14622-14626
(=>
    (and
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
        (and
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14628-14636
(=>
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))
VirusProteinAndCellPart.kif 1153-1158

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 3753-3765
(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 1146-1151
(=>
    (instance ?PART VirusPart)
    (exists (?VIRUS)
        (and
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 1112-1117


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