Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIPodShuffle

Sigma KEE - MiddleMeningealArtery
MiddleMeningealArtery

appearance as argument number 1
-------------------------


(connectedBodyPartTypes MiddleMeningealArtery OphthalmicArtery Human) arteries.kif 552-552
(connectedBodyPartTypes MiddleMeningealArtery OrbitalBranchArtery Human) arteries.kif 571-571
(connectedBodyPartTypes MiddleMeningealArtery SuperficialPetrosalBranchArtery Human) arteries.kif 566-566
(connectedBodyPartTypes MiddleMeningealArtery SuperiorTympanicArtery Human) arteries.kif 557-557
(connectedBodyPartTypes MiddleMeningealArtery TemporalBranchArtery Human) arteries.kif 578-578
(connectedBodyPartTypes MiddleMeningealArtery VesselToSemilunarGanglionArtery Human) arteries.kif 561-561
(documentation MiddleMeningealArtery EnglishLanguage "middle meningeal artery") arteries.kif 543-543
(subclass MiddleMeningealArtery ExternalCarotidTerminalFirstPortionArtery) arteries.kif 541-541

appearance as argument number 2
-------------------------


(connectedBodyPartTypes MaxillaryArtery MiddleMeningealArtery Human) arteries.kif 545-545
(termFormat EnglishLanguage MiddleMeningealArtery "middle meningeal artery") arteries.kif 542-542


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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