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

Formal Language: 



Term 1: Term 2:

(subclass ExternalCarotidTerminalFirstPortionArtery Artery) arteries.kif 525-525 ExternalCarotidTerminalFirstPortionArtery 是 动脉 的 subclass
(subclass DeepAuricularArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 529-529 DeepAuricularArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass
(subclass AnteriorTympanicArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 535-535 AnteriorTympanicArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass
(subclass MiddleMeningealArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 541-541 MiddleMeningealArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass
(subclass MiddleMeningealAnteriorAndPosteriorArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 547-547 MiddleMeningealAnteriorAndPosteriorArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass
(subclass InferiorAlveolarArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 580-580 InferiorAlveolarArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass
(subclass IncisorBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 586-586 IncisorBranchArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass
(subclass MentalBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 591-591 MentalBranchArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass
(subclass LingualBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 596-596 LingualBranchArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass
(subclass MylohyoidBranchArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 601-601 MylohyoidBranchArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 subclass
(subclass AccessoryMeningealArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 607-607 AccessoryMeningealArtery 是 ExternalCarotidTerminalFirstPortionArtery 的 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