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

Formal Language: 



Term 1: Term 2:

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