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

Formal Language: 



Term 1: Term 2:

(subclass MiddleMeningealAnteriorAndPosteriorArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 547-547 MiddleMeningealAnteriorAndPosteriorArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass
(subclass SuperiorTympanicArtery MiddleMeningealAnteriorAndPosteriorArtery) arteries.kif 553-553 SuperiorTympanicArtery 是 MiddleMeningealAnteriorAndPosteriorArtery 的 subclass
(subclass VesselToSemilunarGanglionArtery MiddleMeningealAnteriorAndPosteriorArtery) arteries.kif 558-558 VesselToSemilunarGanglionArtery 是 MiddleMeningealAnteriorAndPosteriorArtery 的 subclass
(subclass SuperficialPetrosalBranchArtery MiddleMeningealAnteriorAndPosteriorArtery) arteries.kif 562-562 SuperficialPetrosalBranchArtery 是 MiddleMeningealAnteriorAndPosteriorArtery 的 subclass
(subclass OrbitalBranchArtery MiddleMeningealAnteriorAndPosteriorArtery) arteries.kif 567-567 OrbitalBranchArtery 是 MiddleMeningealAnteriorAndPosteriorArtery 的 subclass
(subclass TemporalBranchArtery MiddleMeningealAnteriorAndPosteriorArtery) arteries.kif 574-574 TemporalBranchArtery 是 MiddleMeningealAnteriorAndPosteriorArtery 的 subclass


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