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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 14372-14375
(externalImage Virus " Tevenphage.png") pictureList.kif 887-887
(partition Virus DNAVirus RNAVirus) VirusProteinAndCellPart.kif 40-40 ウイルスDNAVirus + RNAVirusexhaustively partitioned %n
(partition Virus UnenvelopedVirus EnvelopedVirus) VirusProteinAndCellPart.kif 42-42 ウイルスUnenvelopedVirus + EnvelopedVirusexhaustively partitioned %n
(partition Virus VirusDoubleStranded VirusSingleStranded) VirusProteinAndCellPart.kif 41-41 ウイルスVirusDoubleStranded + VirusSingleStrandedexhaustively partitioned %n
(subclass Virus Microorganism) Merge.kif 14371-14371 ウイルス微生物subclass では %n

appearance as argument number 2

(subclass DNAVirus Virus) VirusProteinAndCellPart.kif 55-55 DNAVirusウイルスsubclass では %n
(subclass EnvelopedVirus Virus) VirusProteinAndCellPart.kif 96-96 EnvelopedVirusウイルスsubclass では %n
(subclass RNAVirus Virus) VirusProteinAndCellPart.kif 81-81 RNAVirusウイルスsubclass では %n
(subclass TickBorneEncephalitisVirus Virus) WMD.kif 2017-2017 TickBorneEncephalitisVirusウイルスsubclass では %n
(subclass UnenvelopedVirus Virus) VirusProteinAndCellPart.kif 92-92 UnenvelopedVirusウイルスsubclass では %n
(subclass ViralAgent Virus) WMD.kif 231-231 ViralAgentウイルスsubclass では %n
(subclass VirusDoubleStranded Virus) VirusProteinAndCellPart.kif 101-101 VirusDoubleStrandedウイルスsubclass では %n
(subclass VirusSingleStranded Virus) VirusProteinAndCellPart.kif 105-105 VirusSingleStrandedウイルスsubclass では %n
(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 184-184
(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 598-598 typicalPart ViralGenome and ウイルス
(typicalPart VirionEnzyme Virus) VirusProteinAndCellPart.kif 623-623 typicalPart VirionEnzyme and ウイルス

appearance as argument number 3

(domain ViralPartFn 1 Virus) VirusProteinAndCellPart.kif 644-644 ViralPartFn の数値 1 引数は ウイルスinstance では %n
(domain geneticSubstrateOfVirus 1 Virus) VirusProteinAndCellPart.kif 35-35 geneticSubstrateOfVirus の数値 1 引数は ウイルスinstance では %n
(domain invadingVirus 2 Virus) VirusProteinAndCellPart.kif 25-25 invadingVirus の数値 2 引数は ウイルスinstance では %n
(domainSubclass vaccine 2 Virus) WMD.kif 1085-1085 vaccine の数値 2 引数は ウイルスsubclass では %n


        (instance ?VIRUS Virus)
        (inhabits ?VIRUS ?OBJ))
    (instance ?OBJ Organism))
Merge.kif 14377-14381
        (instance ?VIRUS Virus)
        (instance ?PROC Replication)
        (agent ?PROC ?VIRUS))
    (exists (?CELL)
            (located ?PROC ?CELL)
            (instance ?CELL Cell))))
Merge.kif 14383-14391
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))
VirusProteinAndCellPart.kif 632-637


    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 625-630
    (instance ?PART VirusPart)
    (exists (?VIRUS)
            (instance ?VIRUS Virus)
            (part ?PART ?VIRUS))))
VirusProteinAndCellPart.kif 591-596

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