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 330-330
(subclass EukaryoticCell Cell) VirusProteinAndCellPart.kif 329-329 Eukaryotic cell is a subclass of cell

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


(disjoint ProkaryoticCell EukaryoticCell) VirusProteinAndCellPart.kif 340-340 Prokaryotic cell is disjoint from eukaryotic cell
(termFormat ChineseLanguage EukaryoticCell "真核细胞") domainEnglishFormat.kif 22479-22479
(termFormat ChineseTraditionalLanguage EukaryoticCell "真核細胞") domainEnglishFormat.kif 22478-22478
(termFormat EnglishLanguage EukaryoticCell "eukaryotic cell") domainEnglishFormat.kif 22477-22477

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


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


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