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

Formal Language: 



KB Term:  Term intersection
English Word: 

  connectedBodyPartTypes

 Sigma KEE - connectedBodyPartTypes
connectedBodyPartTypes

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 25-26
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 27-27 Le nombre 1 argument de connectedBodyPartTypes est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 28-28 Le nombre 2 argument de connectedBodyPartTypes est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 29-29 Le nombre 3 argument de connectedBodyPartTypes est une sous-classe de organisme
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 24-24 connectedBodyPartTypes est une instance de pr�dicat ternaire

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 32-46
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 48-50

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 48-50

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. arteries.kif 1280-1280 connectedBodyPartTypes AbdominalAorta, ThoracicAorta and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1658-1658 connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 986-986 connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1465-1465 connectedBodyPartTypes AfferentArteriole, InterlobularArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 252-252 connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorMeningealArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 257-257 connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorNasalArteryBranch and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 267-267 connectedBodyPartTypes AnteriorEthmoidalArtery, InferiorPalpebralArchArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 262-262 connectedBodyPartTypes AnteriorEthmoidalArtery, SuperiorPalpebralArchArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1016-1016 connectedBodyPartTypes AnteriorHumeralCircumflexArtery, AxillaryArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 820-820 connectedBodyPartTypes AnteriorInferiorCerebellarArtery, BasilarArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1169-1169 connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 79-79 connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 73-73 connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1885-1885 connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1880-1880 connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 795-795 connectedBodyPartTypes AnteriorSpinalArtery, VertebralArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1863-1863 connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1873-1873 connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1148-1148 connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 371-371 connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 366-366 connectedBodyPartTypes AnterolateralCentralArtery, InternalStriateArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 164-164 connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1454-1454 connectedBodyPartTypes ArcuateArtery, InterlobarArtery and humain
No TPTP formula. May not be expressible in strict first order. arteries.kif 1621-1621 connectedBodyPartTypes ArteryOfBulbOfPenis, InternalPudendalArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order. arteries.kif 1626-1626 connectedBodyPartTypes ArteryOfBulbOfVestibule, InternalPudendalArtery and FemaleHuman

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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