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

Formal Language: 



Term 1: Term 2:

(subclass ExternalCarotidTerminalThirdPortionArtery Artery) arteries.kif 639-639 ExternalCarotidTerminalThirdPortionArtery 是 动脉 的 subclass
(subclass SphenopalatineArteryTerminalBranch ExternalCarotidTerminalThirdPortionArtery) arteries.kif 643-643 SphenopalatineArteryTerminalBranch 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass PosteriorLateralNasalBranchArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 648-648 PosteriorLateralNasalBranchArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass PosteriorSeptalBranchArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 652-652 PosteriorSeptalBranchArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass DescendingPalatineArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 656-656 DescendingPalatineArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass GreaterPalatineArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 661-661 GreaterPalatineArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass LesserPalatineArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 665-665 LesserPalatineArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass InfraorbitalArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 669-669 InfraorbitalArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass AnteriorSuperiorAlveolarArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 675-675 AnteriorSuperiorAlveolarArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass PosteriorSuperiorAlveolarArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 679-679 PosteriorSuperiorAlveolarArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass BranchesToAlveolarCanalsArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 684-684 BranchesToAlveolarCanalsArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass BranchesToGingivaArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 689-689 BranchesToGingivaArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass PharyngealArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 694-694 PharyngealArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 subclass
(subclass ArteryOfPterygoidCanalArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 699-699 ArteryOfPterygoidCanalArtery 是 ExternalCarotidTerminalThirdPortionArtery 的 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