TreeView Knowledge Base Browser - DNAMolecule

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DNAMolecule

DNAMolecule(DNA molecule)

DNA, cDNA, chromosome, complementary_DNA, deoxyribonucleic_acid, desoxyribonucleic_acid, dscDNA, episome, plasmid, plasmid_DNA, provirus, recombinant_DNA, recombinant_deoxyribonucleic_acid

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 90-98
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 89-89	DNA molecule is a subclass of Biopolymer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20028-20028
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20027-20027
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20026-20026

consequent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 56-62	If an object is an instance of Nucleotide and the object is a part of another object, then the other object is an instance of DNA molecule or the other object is an instance of RNA molecule
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 646-653	If an entity is an instance of gene, then there exist an object and another object such that the object is an instance of Nucleotide and the entity is equal to the object and the object is a part of the other object and the other object is an instance of DNA molecule
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 625-632	If an object is an instance of Nucleosome, then there exist another object and a third object such that the other object is an instance of DNA molecule and the third object is an instance of Histone and the other object is a part of the object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 111-116	If a virus is an instance of DNA virus, then there exists a molecule such that the molecule is a genetic substrate of virus of the virus and the molecule is an instance of DNA molecule
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 104-109	If an object is an instance of DNA virus, then there exists another object such that the other object is an instance of DNA molecule and the other object is a part of the object

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