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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - geneticSubstrateOfVirus

appearance as argument number 1

(documentation geneticSubstrateOfVirus EnglishLanguage "(geneticSubstrateOfVirus ?VIRUS ?MOL) relates the virus ?VIRUS to the molecule ?MOL that contains its genetic information.") VirusProteinAndCellPart.kif 37-38
(domain geneticSubstrateOfVirus 1 Virus) VirusProteinAndCellPart.kif 35-35
(domain geneticSubstrateOfVirus 2 Molecule) VirusProteinAndCellPart.kif 36-36
(instance geneticSubstrateOfVirus BinaryPredicate) VirusProteinAndCellPart.kif 32-32
(instance geneticSubstrateOfVirus SingleValuedRelation) VirusProteinAndCellPart.kif 33-33
(subrelation geneticSubstrateOfVirus part) VirusProteinAndCellPart.kif 34-34

appearance as argument number 2

(format ChineseLanguage geneticSubstrateOfVirus "%2 %n 是 %1 的 genetic 病毒的基底") domainEnglishFormat.kif 1089-1089
(format ChineseTraditionalLanguage geneticSubstrateOfVirus "%2 %n 是 %1 的 genetic 病毒的基底") domainEnglishFormat.kif 1088-1088
(format EnglishLanguage geneticSubstrateOfVirus "%2 is %n a genetic substrate of virus of %1") domainEnglishFormat.kif 1087-1087
(termFormat ChineseLanguage geneticSubstrateOfVirus "病毒的遗传基质") domainEnglishFormat.kif 25758-25758
(termFormat ChineseTraditionalLanguage geneticSubstrateOfVirus "病毒的遺傳基質") domainEnglishFormat.kif 25757-25757
(termFormat EnglishLanguage geneticSubstrateOfVirus "genetic substrate of virus") domainEnglishFormat.kif 25756-25756


        (instance ?VIR VirusDoubleStranded)
        (geneticSubstrateOfVirus ?VIR ?GENMAT))
    (hasMolecularStructuralAttribute ?GENMAT DoubleStrandedMolecularStructure))
VirusProteinAndCellPart.kif 169-173


    (instance ?OBJ1 DNAVirus)
    (exists (?OBJ2)
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 DNAMolecule))))
VirusProteinAndCellPart.kif 111-116
    (instance ?OBJ1 RNAVirus)
    (exists (?OBJ2)
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 RNAMolecule))))
VirusProteinAndCellPart.kif 130-135

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