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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProkaryoticCell
ProkaryoticCell

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


(disjoint ProkaryoticCell EukaryoticCell) VirusProteinAndCellPart.kif 391-391 ProkaryoticCellEukaryoticCelldisjoint では %n
(documentation ProkaryoticCell EnglishLanguage "The Class of Cells that do not have a CellNucleus.") VirusProteinAndCellPart.kif 392-393
(subclass ProkaryoticCell Cell) VirusProteinAndCellPart.kif 390-390 ProkaryoticCell細胞subclass では %n

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


(subclass ArchaealCell ProkaryoticCell) VirusProteinAndCellPart.kif 426-426 ArchaealCellProkaryoticCellsubclass では %n
(termFormat ChineseLanguage ProkaryoticCell "原核细胞") domainEnglishFormat.kif 47684-47684
(termFormat ChineseTraditionalLanguage ProkaryoticCell "原核細胞") domainEnglishFormat.kif 47683-47683
(termFormat EnglishLanguage ProkaryoticCell "prokaryotic cell") domainEnglishFormat.kif 47682-47682

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


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


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