Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass ThoracicVertebraBone VertebraBone) Anatomy.kif 616-616
(subclass T1VertebraBone ThoracicVertebraBone) Anatomy.kif 620-620
(subclass T2VertebraBone ThoracicVertebraBone) Anatomy.kif 624-624
(subclass T3VertebraBone ThoracicVertebraBone) Anatomy.kif 628-628
(subclass T4VertebraBone ThoracicVertebraBone) Anatomy.kif 632-632
(subclass T5VertebraBone ThoracicVertebraBone) Anatomy.kif 636-636
(subclass T6VertebraBone ThoracicVertebraBone) Anatomy.kif 640-640
(subclass T7VertebraBone ThoracicVertebraBone) Anatomy.kif 644-644
(subclass T8VertebraBone ThoracicVertebraBone) Anatomy.kif 648-648
(subclass T9VertebraBone ThoracicVertebraBone) Anatomy.kif 652-652
(subclass T10VertebraBone ThoracicVertebraBone) Anatomy.kif 656-656
(subclass T11VertebraBone ThoracicVertebraBone) Anatomy.kif 660-660
(subclass T12VertebraBone ThoracicVertebraBone) Anatomy.kif 664-664


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