TreeView Knowledge Base Browser - geneticSubstrateOfVirus

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	geneticSubstrateOfVirus の数値 1 引数はウイルスの instance では %n
(domain geneticSubstrateOfVirus 2 Molecule)	VirusProteinAndCellPart.kif 36-36	geneticSubstrateOfVirus の数値 2 引数は分子の instance では %n
(instance geneticSubstrateOfVirus BinaryPredicate)	VirusProteinAndCellPart.kif 32-32	geneticSubstrateOfVirus は 2進述語の instance では %n
(instance geneticSubstrateOfVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 33-33	geneticSubstrateOfVirus は一価関係の instance では %n
(subrelation geneticSubstrateOfVirus part)	VirusProteinAndCellPart.kif 34-34	geneticSubstrateOfVirus は part の subrelation では %n

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

antecedent

(=>
    (and
        (instance ?VIR VirusDoubleStranded)
        (geneticSubstrateOfVirus ?VIR ?GENMAT))
    (hasMolecularStructuralAttribute ?GENMAT DoubleStrandedMolecularStructure))

VirusProteinAndCellPart.kif 124-128

ウイルスは VirusDoubleStranded の instance では %n geneticSubstrateOfVirus ウイルス and 分子
hasMolecularStructuralAttribute 分子 and DoubleStrandedMolecularStructure

consequent

(=> (instance ?OBJ1 DNAVirus) (exists (?OBJ2) (and (geneticSubstrateOfVirus ?OBJ1 ?OBJ2) (instance ?OBJ2 DNAMolecule))))	VirusProteinAndCellPart.kif 66-71	ウイルスは DNAVirus の instance では %n 分子 geneticSubstrateOfVirus ウイルス and 分子分子は DNAMolecule の instance では %n
(=> (instance ?OBJ1 RNAVirus) (exists (?OBJ2) (and (geneticSubstrateOfVirus ?OBJ1 ?OBJ2) (instance ?OBJ2 RNAMolecule))))	VirusProteinAndCellPart.kif 85-90	ウイルスは RNAVirus の instance では %n 分子 geneticSubstrateOfVirus ウイルス and 分子分子は RNAMolecule の instance では %n

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