TreeView Knowledge Base Browser - Chromotin

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Chromotin

Chromotin(chromotin)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 598-598
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 597-597	Chromotin is a subclass of cell part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14766-14766
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14765-14765
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14764-14764

antecedent

No TPTP formula. May not be expressible in strict first order.

VirusProteinAndCellPart.kif 610-617

If an object is an instance of chromotin,
then there exist a physical and a collection such that the physical is an instance of collection and the physical is located at the object and the physical is a member of the collection and the collection is an instance of Nucleosome

consequent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 600-608	If an object is an instance of another kind of object and another kind of object is a subclass of cell nucleus and every the other kind of object is initially part of a eukaryotic cell, then there exists a third object such that the third object is an instance of chromotin and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 590-595	If an object is an instance of Chromosome, then there exists another object such that the other object is an instance of chromotin 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