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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cell
Cell(cell)
B_cell, B_lymphocyte, CD4_T_cell, CD4_cell, CD8_T_cell, CD8_cell, Golgi's_cell, Golgi_cell, Kupffer's_cell, Leydig's_cell, Leydig_cell, Purkinje_cell, Schwann_cell, Sertoli's_cell, Sertoli_cell, T_cell, T_lymphocyte, acanthocyte, acaryote, adipose_cell, afferent_neuron, akaryocyte, akaryote, ameloblast, anisogamete, archesporial, arthrospore, astrocyte, astrocytic, basophil, basophile, beta_cell, binuclear, binucleate, binucleated, blastocyte, blastomere, blastomeric, bone-forming_cell, bone_cell, brain_cell, cancer_cell, cell, cell-free, cellular, choanocyte, collar_cell, columnar_cell, columnar_epithelial_cell, cone...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3518-3518
No TPTP formula. May not be expressible in strict first order. Merge.kif 14033-14034
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1069-1069
No TPTP formula. May not be expressible in strict first order. Merge.kif 14032-14032 Cell is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9139-9139 Blood cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 326-326 Eukaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9242-9242 Nerve cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 336-336 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1022-1022
No TPTP formula. May not be expressible in strict first order. english_format.kif 1261-1261

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 583-583 The number 1 argument of cell part is an instance of cell

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 485-490

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13455-13463
No TPTP formula. May not be expressible in strict first order. Merge.kif 13424-13435
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 363-368
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9308-9313
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9295-9300
No TPTP formula. May not be expressible in strict first order. Merge.kif 13882-13887
No TPTP formula. May not be expressible in strict first order. Merge.kif 14059-14064


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