Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExternalCarotidTerminalThirdPortionArtery
ExternalCarotidTerminalThirdPortionArtery

appearance as argument number 1
-------------------------


(documentation ExternalCarotidTerminalThirdPortionArtery EnglishLanguage "external carotid terminal third portion artery") arteries.kif 641-641
(subclass ExternalCarotidTerminalThirdPortionArtery Artery) arteries.kif 639-639

appearance as argument number 2
-------------------------


(subclass AnteriorSuperiorAlveolarArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 675-675
(subclass ArteryOfPterygoidCanalArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 699-699
(subclass BranchesToAlveolarCanalsArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 684-684
(subclass BranchesToGingivaArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 689-689
(subclass DescendingPalatineArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 656-656
(subclass GreaterPalatineArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 661-661
(subclass InfraorbitalArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 669-669
(subclass LesserPalatineArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 665-665
(subclass PharyngealArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 694-694
(subclass PosteriorLateralNasalBranchArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 648-648
(subclass PosteriorSeptalBranchArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 652-652
(subclass PosteriorSuperiorAlveolarArtery ExternalCarotidTerminalThirdPortionArtery) arteries.kif 679-679
(subclass SphenopalatineArteryTerminalBranch ExternalCarotidTerminalThirdPortionArtery) arteries.kif 643-643
(termFormat EnglishLanguage ExternalCarotidTerminalThirdPortionArtery "external carotid terminal third portion artery") arteries.kif 640-640


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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