connectedBodyPartTypes - Sigma Knowledge base Browser

appearance as argument number 1

(documentation connectedBodyPartTypes EnglishLanguage "Parts of a healthy organism that are present and connected to each other.")	Anatomy.kif 25-26
(domainSubclass connectedBodyPartTypes 1 BodyPart)	Anatomy.kif 27-27
(domainSubclass connectedBodyPartTypes 2 BodyPart)	Anatomy.kif 28-28
(domainSubclass connectedBodyPartTypes 3 Organism)	Anatomy.kif 29-29
(instance connectedBodyPartTypes TernaryPredicate)	Anatomy.kif 24-24

antecedent

(=> (and (connectedBodyPartTypes ?P1 ?P2 ?O) (instance ?OC ?O) (not (attribute ?H DiseaseOrSyndrome))) (exists (?PC1 ?PC2) (and (instance ?PC1 ?P1) (instance ?PC2 ?P2) (not (equal ?PC1 ?PC2)) (part ?PC1 ?OC) (part ?PC2 ?OC) (connected ?PC1 ?PC2))))	Anatomy.kif 32-46
(=> (connectedBodyPartTypes ?P1 ?P2 ?O) (connectedBodyPartTypes ?P2 ?P1 ?O))	Anatomy.kif 48-50

consequent

(=>
(connectedBodyPartTypes ?P1 ?P2 ?O)
(connectedBodyPartTypes ?P2 ?P1 ?O))

Anatomy.kif 48-50

appearance as argument number 0

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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: