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 Die Zahl 1 Argument von geneticSubstrateOfVirus ist ein fall von Virus %n{nicht}
(domain geneticSubstrateOfVirus 2 Molecule) VirusProteinAndCellPart.kif 36-36 Die Zahl 2 Argument von geneticSubstrateOfVirus ist ein fall von Molecule %n{nicht}
(instance geneticSubstrateOfVirus BinaryPredicate) VirusProteinAndCellPart.kif 32-32 geneticSubstrateOfVirus ist ein fall von BinaryPredicate %n{nicht}
(instance geneticSubstrateOfVirus SingleValuedRelation) VirusProteinAndCellPart.kif 33-33 geneticSubstrateOfVirus ist ein fall von SingleValuedRelation %n{nicht}
(subrelation geneticSubstrateOfVirus part) VirusProteinAndCellPart.kif 34-34 geneticSubstrateOfVirus ist eine teilrelation von teil

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 25787-25787
(termFormat ChineseTraditionalLanguage geneticSubstrateOfVirus "病毒的遺傳基質") domainEnglishFormat.kif 25786-25786
(termFormat EnglishLanguage geneticSubstrateOfVirus "genetic substrate of virus") domainEnglishFormat.kif 25785-25785

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