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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EukaryoticCell
EukaryoticCell(eukaryotic cell)

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


(documentation EukaryoticCell EnglishLanguage "The Class of Cells that have a CellNucleus.") VirusProteinAndCellPart.kif 327-327
(subclass EukaryoticCell Cell) VirusProteinAndCellPart.kif 326-326 Eukaryotic cell is a subclass of cell

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


(disjoint ProkaryoticCell EukaryoticCell) VirusProteinAndCellPart.kif 337-337 Prokaryotic cell is disjoint from eukaryotic cell
(termFormat ChineseLanguage EukaryoticCell "真核细胞") domainEnglishFormat.kif 22411-22411
(termFormat ChineseTraditionalLanguage EukaryoticCell "真核細胞") domainEnglishFormat.kif 22410-22410
(termFormat EnglishLanguage EukaryoticCell "eukaryotic cell") domainEnglishFormat.kif 22409-22409

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


(=>
    (instance ?OBJ1 EukaryoticCell)
    (exists (?OBJ2)
        (and
            (interiorPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 CellNucleus))))
VirusProteinAndCellPart.kif 329-334


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners