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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OphthalmicArtery

 Sigma KEE - OphthalmicArtery
OphthalmicArtery

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 329-329 connectedBodyPartTypes OphthalmicArtery, AnteriorCiliaryArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 247-247 connectedBodyPartTypes OphthalmicArtery, AnteriorEthmoidalArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 334-334 connectedBodyPartTypes OphthalmicArtery, CentralRetinalArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 279-279 connectedBodyPartTypes OphthalmicArtery, DorsalNasalArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 188-188 connectedBodyPartTypes OphthalmicArtery, LacrimalArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 309-309 connectedBodyPartTypes OphthalmicArtery, LongPosteriorCiliaryArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 231-231 connectedBodyPartTypes OphthalmicArtery, PosteriorEthmoidalArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 324-324 connectedBodyPartTypes OphthalmicArtery, ShortPosteriorCiliaryArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 212-212 connectedBodyPartTypes OphthalmicArtery, SupraorbitalArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 273-273 connectedBodyPartTypes OphthalmicArtery, SupratrochlearArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 176-176
No TPTP formula. May not be expressible in strict first order. arteries.kif 174-174 OphthalmicArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order. Muscles.kif 68-68 suppliesBlood OphthalmicArtery and CorrugatorSuperciliiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 48-48 suppliesBlood OphthalmicArtery and FrontalisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 115-115 suppliesBlood OphthalmicArtery and InferiorRectusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 133-133 suppliesBlood OphthalmicArtery and LateralRectusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 83-83 suppliesBlood OphthalmicArtery and LevatorPalpebraeSuperiorisMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 125-125 suppliesBlood OphthalmicArtery and MedialRectusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 58-58 suppliesBlood OphthalmicArtery and OrbicularisOculiMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 105-105 suppliesBlood OphthalmicArtery and SuperiorRectusMuscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 95-95 suppliesBlood OphthalmicArtery and SuperiorTarsalMuscle

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


No TPTP formula. May not be expressible in strict first order. arteries.kif 178-178 connectedBodyPartTypes InternalCarotidArtery, OphthalmicArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 552-552 connectedBodyPartTypes MiddleMeningealArtery, OphthalmicArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 175-175


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