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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BloodCell

Sigma KEE - BloodCell
BloodCell(blood cell)
blood_cell, blood_corpuscle, corpuscle

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10153-10153
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4554-4554
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10152-10152 Blood cell is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10151-10151 Blood cell is a subclass of somatic cell

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10174-10174 Thrombocyte is a subclass of blood cell
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10162-10162 Red blood cell is a subclass of blood cell
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10208-10208 White blood cell is a subclass of blood cell
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11363-11363
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11362-11362
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11361-11361

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1211-1219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10155-10160


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