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 15260-15261
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 15259-15259 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 385-385 Eukaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 395-395 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1022-1022 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. english_format.kif 1256-1256 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. french_format.kif 700-700 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 231-231 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. terms-it.txt 234-234 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2383-2383 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 652-652 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 269-269 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. terms-de.txt 528-528 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 721-721 Prokaryotic cell is a subclass of cell
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 235-235 Prokaryotic cell is a subclass of cell

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1176-1176 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 409-409 The number 1 argument of cell shape is an instance of cell

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 661-675
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 423-428
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1078-1083

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2198-2214
No TPTP formula. May not be expressible in strict first order. Merge.kif 14643-14651
No TPTP formula. May not be expressible in strict first order. Merge.kif 14612-14623
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 490-495
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12226-12231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11462-11467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12213-12218
No TPTP formula. May not be expressible in strict first order. Merge.kif 15082-15087
No TPTP formula. May not be expressible in strict first order. Merge.kif 15287-15292
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 477-484


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