Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProkaryoticCell
ProkaryoticCell(prokaryotic cell)

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


(disjoint ProkaryoticCell EukaryoticCell) VirusProteinAndCellPart.kif 340-340 Prokaryotic cell is disjoint from eukaryotic cell
(documentation ProkaryoticCell EnglishLanguage "The Class of Cells that do not have a CellNucleus.") VirusProteinAndCellPart.kif 341-342
(subclass ProkaryoticCell Cell) VirusProteinAndCellPart.kif 339-339 Prokaryotic cell is a subclass of cell

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


(subclass ArchaealCell ProkaryoticCell) VirusProteinAndCellPart.kif 375-375 Archaea is a subclass of prokaryotic cell
(termFormat ChineseLanguage ProkaryoticCell "原核细胞") domainEnglishFormat.kif 47667-47667
(termFormat ChineseTraditionalLanguage ProkaryoticCell "原核細胞") domainEnglishFormat.kif 47666-47666
(termFormat EnglishLanguage ProkaryoticCell "prokaryotic cell") domainEnglishFormat.kif 47665-47665

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


(=>
    (instance ?OBJ1 ProkaryoticCell)
    (not
        (exists (?OBJ2)
            (and
                (instance ?OBJ2 CellNucleus)
                (part ?OBJ2 ?OBJ1)))))
VirusProteinAndCellPart.kif 344-349


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 is open source software produced by Articulate Software and its partners