Femur - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Femur

Femur

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1039-1039
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1037-1037	Femur 是 LegBone 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1811-1811	muscleOrigin ArticularisGenusMuscle and Femur
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1042-1042	LeftFemur 是 Femur 的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1047-1047	RightFemur 是 Femur 的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1041-1041
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1038-1038

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