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

Formal Language: 



Term 1: Term 2:

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


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