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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KuwaitCityKuwait

 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 是 RibBone 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 455-455 RightFalseRib10Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 470-470 RightFalseRib11Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 487-487 RightFalseRib12Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 425-425 RightFalseRib8Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 440-440 RightFalseRib9Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 304-304 RightTrueRib1Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 319-319 RightTrueRib2Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 334-334 RightTrueRib3Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 349-349 RightTrueRib4Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 364-364 RightTrueRib5Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 379-379 RightTrueRib6Bone 是 RightRibBone 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 394-394 RightTrueRib7Bone 是 RightRibBone 的 subclass
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