TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint ProkaryoticCell EukaryoticCell)	VirusProteinAndCellPart.kif 396-396	Prokaryotic cell is disjoint from eukaryotic cell
(documentation ProkaryoticCell EnglishLanguage "The Class of Cells that do not have a CellNucleus.")	VirusProteinAndCellPart.kif 397-398	Prokaryotic cell is disjoint from eukaryotic cell
(subclass ProkaryoticCell Cell)	VirusProteinAndCellPart.kif 395-395	Prokaryotic cell is a subclass of cell

appearance as argument number 2

(subclass ArchaealCell ProkaryoticCell)	VirusProteinAndCellPart.kif 430-430	Archaea is a subclass of prokaryotic cell
(termFormat ChineseLanguage ProkaryoticCell "原核细胞")	domainEnglishFormat.kif 47685-47685	Archaea is a subclass of prokaryotic cell
(termFormat ChineseTraditionalLanguage ProkaryoticCell "原核細胞")	domainEnglishFormat.kif 47684-47684	Archaea is a subclass of prokaryotic cell
(termFormat EnglishLanguage ProkaryoticCell "prokaryotic cell")	domainEnglishFormat.kif 47683-47683	Archaea is a subclass of prokaryotic cell

antecedent

(=>
    (instance ?OBJ1 ProkaryoticCell)
    (not
        (exists (?OBJ2)
            (and
                (instance ?OBJ2 CellNucleus)
                (part ?OBJ2 ?OBJ1)))))

VirusProteinAndCellPart.kif 400-405

If an object is an instance of prokaryotic cell,
then there doesn't exist another object such that the other object is an instance of cell nucleus 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

KB Term:			Term intersection

English Word: