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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TrueRibBone

Sigma KEE - TrueRibBone
TrueRibBone

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 291-293
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 285-285
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 283-283 TrueRibBone est une sous-classe de RibBone

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 296-296 LeftTrueRib1Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 311-311 LeftTrueRib2Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 326-326 LeftTrueRib3Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 341-341 LeftTrueRib4Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 356-356 LeftTrueRib5Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 371-371 LeftTrueRib6Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 386-386 LeftTrueRib7Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 302-302 RightTrueRib1Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 317-317 RightTrueRib2Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 332-332 RightTrueRib3Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 347-347 RightTrueRib4Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 362-362 RightTrueRib5Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 377-377 RightTrueRib6Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 392-392 RightTrueRib7Bone est une sous-classe de TrueRibBone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 294-294
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 284-284

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 492-503


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