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

Formal Language: 



Term 1: Term 2:

(subclass ExternalCarotidTerminalFirstPortionArtery Artery) arteries.kif 525-525
(subclass DeepAuricularArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 529-529
(subclass AnteriorTympanicArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 535-535
(subclass MiddleMeningealArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 541-541
(subclass MiddleMeningealAnteriorAndPosteriorArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 547-547
(subclass InferiorAlveolarArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 580-580
(subclass IncisorBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 586-586
(subclass MentalBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 591-591
(subclass LingualBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 596-596
(subclass MylohyoidBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 601-601
(subclass AccessoryMeningealArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 607-607


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