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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 247-247 connectedBodyPartTypes OphthalmicArtery, AnteriorEthmoidalArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 334-334 connectedBodyPartTypes OphthalmicArtery, CentralRetinalArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 279-279 connectedBodyPartTypes OphthalmicArtery, DorsalNasalArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 188-188 connectedBodyPartTypes OphthalmicArtery, LacrimalArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 309-309 connectedBodyPartTypes OphthalmicArtery, LongPosteriorCiliaryArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 231-231 connectedBodyPartTypes OphthalmicArtery, PosteriorEthmoidalArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 324-324 connectedBodyPartTypes OphthalmicArtery, ShortPosteriorCiliaryArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 212-212 connectedBodyPartTypes OphthalmicArtery, SupraorbitalArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 273-273 connectedBodyPartTypes OphthalmicArtery, SupratrochlearArtery and Humano
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 e' uma sub-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 Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 552-552 connectedBodyPartTypes MiddleMeningealArtery, OphthalmicArtery and Humano
No TPTP formula. May not be expressible in strict first order. arteries.kif 175-175


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



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