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

Formal Language: 



Term 1: Term 2:

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


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