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

Formal Language: 



Term 1: Term 2:

(subclass ExternalCarotidTerminalThirdPortionArtery Artery) arteries.kif 639-639 ExternalCarotidTerminalThirdPortionArtery は Artery の subclass では %n
(subclass SphenopalatineArteryTerminalBranch ExternalCarotidTerminalThirdPortionArtery) arteries.kif 643-643 SphenopalatineArteryTerminalBranch は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass PosteriorLateralNasalBranchArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 648-648 PosteriorLateralNasalBranchArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass PosteriorSeptalBranchArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 652-652 PosteriorSeptalBranchArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass DescendingPalatineArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 656-656 DescendingPalatineArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass GreaterPalatineArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 661-661 GreaterPalatineArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass LesserPalatineArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 665-665 LesserPalatineArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass InfraorbitalArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 669-669 InfraorbitalArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass AnteriorSuperiorAlveolarArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 675-675 AnteriorSuperiorAlveolarArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass PosteriorSuperiorAlveolarArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 679-679 PosteriorSuperiorAlveolarArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass BranchesToAlveolarCanalsArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 684-684 BranchesToAlveolarCanalsArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass BranchesToGingivaArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 689-689 BranchesToGingivaArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass PharyngealArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 694-694 PharyngealArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n
(subclass ArteryOfPterygoidCanalArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 699-699 ArteryOfPterygoidCanalArtery は ExternalCarotidTerminalThirdPortionArtery の subclass では %n


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