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

Formal Language: 



KB Term:  Term intersection
English Word: 

  geneticSubstrateOfVirus

Sigma KEE - geneticSubstrateOfVirus
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

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


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

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


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


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 3.0 is open source software produced by Articulate Software and its partners