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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftProximalFootPhalanxIIIBone
LeftProximalFootPhalanxIIIBone

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1314-1314 connectedBodyPartTypes LeftProximalFootPhalanxIIIBone, LeftMetatarsal1IIBone and 人类
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1312-1312
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1310-1310 LeftProximalFootPhalanxIIIBoneToeBonesubclass

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1181-1181 connectedBodyPartTypes LeftIntermediateCuniformBone, LeftProximalFootPhalanxIIIBone and 人类
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1356-1356 connectedBodyPartTypes LeftIntermediateFootPhalanxIIIBone, LeftProximalFootPhalanxIIIBone and 人类
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1198-1198 connectedBodyPartTypes LeftLateralCuniformBone, LeftProximalFootPhalanxIIIBone and 人类
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1311-1311


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