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

Formal Language: 



Term 1: Term 2:

(subclass PosteriorDivisionIliacArtery Artery) arteries.kif 1677-1677 PosteriorDivisionIliacArtery动脉subclass
(subclass IliolumbarArtery PosteriorDivisionIliacArtery) arteries.kif 1681-1681 IliolumbarArteryPosteriorDivisionIliacArterysubclass
(subclass LumbarBranchArtery PosteriorDivisionIliacArtery) arteries.kif 1686-1686 LumbarBranchArteryPosteriorDivisionIliacArterysubclass
(subclass IliacBranchArtery PosteriorDivisionIliacArtery) arteries.kif 1691-1691 IliacBranchArteryPosteriorDivisionIliacArterysubclass
(subclass LateralSacralArtery PosteriorDivisionIliacArtery) arteries.kif 1696-1696 LateralSacralArteryPosteriorDivisionIliacArterysubclass
(subclass LateralSacralSuperiorArtery PosteriorDivisionIliacArtery) arteries.kif 1701-1701 LateralSacralSuperiorArteryPosteriorDivisionIliacArterysubclass
(subclass LateralSacralInferiorArtery PosteriorDivisionIliacArtery) arteries.kif 1706-1706 LateralSacralInferiorArteryPosteriorDivisionIliacArterysubclass
(subclass SuperiorGlutealArtery PosteriorDivisionIliacArtery) arteries.kif 1711-1711 SuperiorGlutealArteryPosteriorDivisionIliacArterysubclass
(subclass SuperiorGlutealSuperficialBranchArtery PosteriorDivisionIliacArtery) arteries.kif 1716-1716 SuperiorGlutealSuperficialBranchArteryPosteriorDivisionIliacArterysubclass
(subclass SuperiorGlutealDeepBranchArtery PosteriorDivisionIliacArtery) arteries.kif 1721-1721 SuperiorGlutealDeepBranchArteryPosteriorDivisionIliacArterysubclass


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