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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 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