TreeView Knowledge Base Browser - geneticSubstrateOfVirus

appearance as argument number 1

(instance geneticSubstrateOfVirus BinaryPredicate)	VirusProteinAndCellPart.kif 32-32	genetic substrate of virus is an instance of binary predicate
(instance geneticSubstrateOfVirus SingleValuedRelation)	VirusProteinAndCellPart.kif 33-33	genetic substrate of virus is an instance of single valued relation
(subrelation geneticSubstrateOfVirus part)	VirusProteinAndCellPart.kif 34-34	genetic substrate of virus is a subrelation of part
(domain geneticSubstrateOfVirus 1 Virus)	VirusProteinAndCellPart.kif 35-35	The number 1 argument of genetic substrate of virus is an instance of virus
(domain geneticSubstrateOfVirus 2 Molecule)	VirusProteinAndCellPart.kif 36-36	The number 2 argument of genetic substrate of virus is an instance of molecule
(documentation geneticSubstrateOfVirus EnglishLanguage "(geneticSubstrateOfVirus ?VIRUS ?MOL) relates the virus ?VIRUS to the molecule ?MOL that contains its genetic information.")	VirusProteinAndCellPart.kif 37-38	The number 2 argument of genetic substrate of virus is an instance of molecule

appearance as argument number 2

(format EnglishLanguage geneticSubstrateOfVirus "%2 is %n a genetic substrate of virus of %1")	domainEnglishFormat.kif 1087-1087
(format ChineseTraditionalLanguage geneticSubstrateOfVirus "%2 %n 是 %1 的 genetic 病毒的基底")	domainEnglishFormat.kif 1088-1088
(format ChineseLanguage geneticSubstrateOfVirus "%2 %n 是 %1 的 genetic 病毒的基底")	domainEnglishFormat.kif 1089-1089
(termFormat EnglishLanguage geneticSubstrateOfVirus "genetic substrate of virus")	domainEnglishFormat.kif 25760-25760
(termFormat ChineseTraditionalLanguage geneticSubstrateOfVirus "病毒的遺傳基質")	domainEnglishFormat.kif 25761-25761
(termFormat ChineseLanguage geneticSubstrateOfVirus "病毒的遗传基质")	domainEnglishFormat.kif 25762-25762

antecedent

If X is an instance of virus double stranded and Y is a genetic substrate of virus of X, then double stranded molecular structure has a molecular structural attribute of Y

consequent

(=> (instance ?OBJ1 DNAVirus) (exists (?OBJ2) (and (geneticSubstrateOfVirus ?OBJ1 ?OBJ2) (instance ?OBJ2 DNAMolecule))))	VirusProteinAndCellPart.kif 115-120	If X is an instance of DNA virus, then there exists Y such that Y is a genetic substrate of virus of X and Y is an instance of DNA molecule
(=> (instance ?OBJ1 RNAVirus) (exists (?OBJ2) (and (geneticSubstrateOfVirus ?OBJ1 ?OBJ2) (instance ?OBJ2 RNAMolecule))))	VirusProteinAndCellPart.kif 134-139	If X is an instance of RNA virus, then there exists Y such that Y is a genetic substrate of virus of X and Y is an instance of RNA molecule