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

Formal Language: 



Term 1: Term 2:

(subclass ExternalCarotidTerminalSecondPortionArtery Artery) arteries.kif 613-613 External carotid terminal second portion artery is a subclass of artery
(subclass MassetericArtery ExternalCarotidTerminalSecondPortionArtery) arteries.kif 618-618 Masseteric artery is a subclass of external carotid terminal second portion artery
(subclass PterygoidBranchArtery ExternalCarotidTerminalSecondPortionArtery) arteries.kif 623-623 Pterygoid branch artery is a subclass of external carotid terminal second portion artery
(subclass DeepTemporalArtery ExternalCarotidTerminalSecondPortionArtery) arteries.kif 628-628 Deep temporal artery is a subclass of external carotid terminal second portion artery
(subclass BuccalArtery ExternalCarotidTerminalSecondPortionArtery) arteries.kif 633-633 Buccal artery is a subclass of external carotid terminal second portion artery


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