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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cell

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 15107-15108
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1068-1068
No TPTP formula. May not be expressible in strict first order. Merge.kif 15106-15106 Cell is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 380-380 Eukaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 390-390 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 1256-1256
No TPTP formula. May not be expressible in strict first order. french_format.kif 700-700
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 231-231
No TPTP formula. May not be expressible in strict first order. terms-it.txt 234-234
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2383-2383
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 652-652
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 269-269
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 721-721
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 235-235

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


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

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 655-669
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 418-424
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1070-1075

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2200-2216
No TPTP formula. May not be expressible in strict first order. Merge.kif 14490-14498
No TPTP formula. May not be expressible in strict first order. Merge.kif 14459-14470
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 486-491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10895-10900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10133-10138
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10882-10887
No TPTP formula. May not be expressible in strict first order. Merge.kif 14929-14934
No TPTP formula. May not be expressible in strict first order. Merge.kif 15134-15139
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 473-480


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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