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

Formal Language: 



Term 1: Term 2:

(subclass PosteriorDivisionIliacArtery Artery) arteries.kif 1677-1677
(subclass IliolumbarArtery PosteriorDivisionIliacArtery) arteries.kif 1681-1681
(subclass LumbarBranchArtery PosteriorDivisionIliacArtery) arteries.kif 1686-1686
(subclass IliacBranchArtery PosteriorDivisionIliacArtery) arteries.kif 1691-1691
(subclass LateralSacralArtery PosteriorDivisionIliacArtery) arteries.kif 1696-1696
(subclass LateralSacralSuperiorArtery PosteriorDivisionIliacArtery) arteries.kif 1701-1701
(subclass LateralSacralInferiorArtery PosteriorDivisionIliacArtery) arteries.kif 1706-1706
(subclass SuperiorGlutealArtery PosteriorDivisionIliacArtery) arteries.kif 1711-1711
(subclass SuperiorGlutealSuperficialBranchArtery PosteriorDivisionIliacArtery) arteries.kif 1716-1716
(subclass SuperiorGlutealDeepBranchArtery PosteriorDivisionIliacArtery) arteries.kif 1721-1721


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