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 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 247-247 connectedBodyPartTypes OphthalmicArtery, AnteriorEthmoidalArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 334-334 connectedBodyPartTypes OphthalmicArtery, CentralRetinalArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 279-279 connectedBodyPartTypes OphthalmicArtery, DorsalNasalArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 188-188 connectedBodyPartTypes OphthalmicArtery, LacrimalArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 309-309 connectedBodyPartTypes OphthalmicArtery, LongPosteriorCiliaryArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 231-231 connectedBodyPartTypes OphthalmicArtery, PosteriorEthmoidalArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 324-324 connectedBodyPartTypes OphthalmicArtery, ShortPosteriorCiliaryArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 212-212 connectedBodyPartTypes OphthalmicArtery, SupraorbitalArtery and 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 273-273 connectedBodyPartTypes OphthalmicArtery, SupratrochlearArtery and 人类
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 是 动脉 的 subclass
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 人类
No TPTP formula. May not be expressible in strict first order. arteries.kif 552-552 connectedBodyPartTypes MiddleMeningealArtery, OphthalmicArtery and 人类
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