Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ProkaryoticCell
ProkaryoticCell(prokaryotic cell)

appearance as argument number 1
-------------------------


(subclass ProkaryoticCell Cell) Mid-level-ontology.kif 12368-12368 Prokaryotic cell is a subclass of cell
(disjoint ProkaryoticCell EukaryoticCell) Mid-level-ontology.kif 12369-12369 Prokaryotic cell is disjoint from eukaryotic cell
(documentation ProkaryoticCell EnglishLanguage "The Class of Cells that do not have a CellNucleus.") Mid-level-ontology.kif 12370-12371 Prokaryotic cell is disjoint from eukaryotic cell

appearance as argument number 2
-------------------------


(subclass ArchaealCell ProkaryoticCell) VirusProteinAndCellPart.kif 408-408 Archaea is a subclass of prokaryotic cell
(termFormat EnglishLanguage ProkaryoticCell "prokaryotic cell") domainEnglishFormat.kif 47677-47677 Archaea is a subclass of prokaryotic cell
(termFormat ChineseTraditionalLanguage ProkaryoticCell "原核細胞") domainEnglishFormat.kif 47678-47678 Archaea is a subclass of prokaryotic cell
(termFormat ChineseLanguage ProkaryoticCell "原核细胞") domainEnglishFormat.kif 47679-47679 Archaea is a subclass of prokaryotic cell

antecedent
-------------------------


(=>
    (instance ?OBJ1 ProkaryoticCell)
    (not
        (exists (?OBJ2)
            (and
                (instance ?OBJ2 CellNucleus)
                (part ?OBJ2 ?OBJ1)))))		 Mid-level-ontology.kif 12373-12378 If X is an instance of prokaryotic cell, then there doesn't exist Y such that Y is an instance of cell nucleus and Y is a part of X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners