TreeView Knowledge Base Browser - WristBone

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WristBone

WristBone

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 743-743
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 744-744	%每個 WristBone 是手的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 741-741	子類 WristBone and ArmBone

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 781-781	子類 CapitateBone and WristBone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 786-786	子類 HamateBone and WristBone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 756-756	子類 LunateBone and WristBone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 751-751	子類 NavicularBone and WristBone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 766-766	子類 PisiformBone and WristBone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 746-746	子類 ScaphoidBone and WristBone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 771-771	子類 TrapeziumBone and WristBone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 776-776	子類 TrapezoidBone and WristBone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 761-761	子類 TriquetralBone and WristBone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 742-742

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