TreeView Knowledge Base Browser - BloodCell

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 10152-10152
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 10151-10151	Blood cell is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10150-10150	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 10173-10173	Thrombocyte is a subclass of blood cell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10161-10161	Red blood cell is a subclass of blood cell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10207-10207	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	If a physical is an instance of blood cell, then there exists an entity such that the entity is an instance of bone marrow and the physical is located at the entity holds during the beginning of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10154-10159	If an object is an instance of blood cell, then there exists another object such that the other object is an instance of blood and the object is a part of the other object

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