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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RightRibBone

Sigma KEE - RightRibBone
RightRibBone

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 281-281
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 279-279 RightRibBone est une sous-classe de RibBone

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 455-455 RightFalseRib10Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 470-470 RightFalseRib11Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 487-487 RightFalseRib12Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 425-425 RightFalseRib8Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 440-440 RightFalseRib9Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 304-304 RightTrueRib1Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 319-319 RightTrueRib2Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 334-334 RightTrueRib3Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 349-349 RightTrueRib4Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 364-364 RightTrueRib5Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 379-379 RightTrueRib6Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 394-394 RightTrueRib7Bone est une sous-classe de RightRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 280-280


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