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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExternalCarotidTerminalFirstPortionArtery

Sigma KEE - ExternalCarotidTerminalFirstPortionArtery
ExternalCarotidTerminalFirstPortionArtery

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


(documentation ExternalCarotidTerminalFirstPortionArtery EnglishLanguage "external carotid terminal first portion artery") arteries.kif 527-527
(subclass ExternalCarotidTerminalFirstPortionArtery Artery) arteries.kif 525-525

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


(subclass AccessoryMeningealArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 607-607
(subclass AnteriorTympanicArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 535-535
(subclass DeepAuricularArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 529-529
(subclass IncisorBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 586-586
(subclass InferiorAlveolarArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 580-580
(subclass LingualBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 596-596
(subclass MentalBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 591-591
(subclass MiddleMeningealAnteriorAndPosteriorArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 547-547
(subclass MiddleMeningealArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 541-541
(subclass MylohyoidBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 601-601
(termFormat EnglishLanguage ExternalCarotidTerminalFirstPortionArtery "external carotid terminal first portion artery") arteries.kif 526-526


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

Show without tree


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