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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VertebralRibBone

 Sigma KEE - VertebralRibBone
VertebralRibBone(floating rib)

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 413-413
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 411-411 Floating rib is a subclass of costae spuriae

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 462-462 Left false rib 11 bone is a subclass of floating rib
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 477-477 Left false rib 12 bone is a subclass of floating rib
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 468-468 Right false rib 11 bone is a subclass of floating rib
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 483-483 Right false rib 12 bone is a subclass of floating rib
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 415-415
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 412-412


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