TreeView Knowledge Base Browser - BoneMarrow

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BoneMarrow

BoneMarrow(bone marrow)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1202-1208
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1221-1221	intialPart bone marrow and bone
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1201-1201	Bone marrow is a subclass of tissue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 1209-1209

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1179-1187	If a process is an instance of intraosseous infusion and an object is a patient of the process, then there exists another object such that the other object is an instance of bone marrow and the process ends up at the other object and the other object is a part of the object
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

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