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

Formal Language: 



Term 1: Term 2:

(subclass OrbitalGroupArtery Artery) arteries.kif 180-180
(subclass LacrimalArtery OrbitalGroupArtery) arteries.kif 184-184
(subclass LateralPalpebralArtery OrbitalGroupArtery) arteries.kif 190-190
(subclass ZygomaticBranchArtery OrbitalGroupArtery) arteries.kif 196-196
(subclass RecurrentBranchArtery OrbitalGroupArtery) arteries.kif 202-202
(subclass SupraorbitalArtery OrbitalGroupArtery) arteries.kif 208-208
(subclass SupraorbitalSuperficialBranchArtery OrbitalGroupArtery) arteries.kif 215-215
(subclass SupraorbitalDeepBranchArtery OrbitalGroupArtery) arteries.kif 221-221
(subclass PosteriorEthmoidalArtery OrbitalGroupArtery) arteries.kif 227-227
(subclass MeningealBranchArtery OrbitalGroupArtery) arteries.kif 232-232
(subclass PosteriorNasalArteryBranch OrbitalGroupArtery) arteries.kif 237-237
(subclass AnteriorEthmoidalArtery OrbitalGroupArtery) arteries.kif 243-243
(subclass AnteriorMeningealArtery OrbitalGroupArtery) arteries.kif 248-248
(subclass AnteriorNasalArteryBranch OrbitalGroupArtery) arteries.kif 253-253
(subclass SuperiorPalpebralArchArtery OrbitalGroupArtery) arteries.kif 258-258
(subclass InferiorPalpebralArchArtery OrbitalGroupArtery) arteries.kif 263-263
(subclass SupratrochlearArtery OrbitalGroupArtery) arteries.kif 269-269
(subclass DorsalNasalArtery OrbitalGroupArtery) arteries.kif 275-275
(subclass TwigToTheUpperPartOfLacrimalSacArtery OrbitalGroupArtery) arteries.kif 281-281
(subclass ToRootOfNoseArtery OrbitalGroupArtery) arteries.kif 286-286
(subclass DorsumOfTheNoseArtery OrbitalGroupArtery) arteries.kif 291-291


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