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

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


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

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


(=>
    (instance ?OBJ1 DNAVirus)
    (exists (?OBJ2)
        (and
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 DNAMolecule))))		 VirusProteinAndCellPart.kif 66-71
(=>
    (instance ?OBJ1 RNAVirus)
    (exists (?OBJ2)
        (and
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 RNAMolecule))))		 VirusProteinAndCellPart.kif 85-90


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