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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - connectedBodyPartTypes
connectedBodyPartTypes

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 The number 1 argument of connectedBodyPartTypes is a subclass of body part
(domainSubclass connectedBodyPartTypes 2 BodyPart) Anatomy.kif 28-28 The number 2 argument of connectedBodyPartTypes is a subclass of body part
(domainSubclass connectedBodyPartTypes 3 Organism) Anatomy.kif 29-29 The number 3 argument of connectedBodyPartTypes is a subclass of organism
(instance connectedBodyPartTypes TernaryPredicate) Anatomy.kif 24-24 connectedBodyPartTypes is an instance of ternary predicate

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 abdominal aorta, thoracic aorta and human
(connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve InferiorGlutealArtery Human) arteries.kif 1658-1658 connectedBodyPartTypes accompanying artery of ischiadic nerve, inferior gluteal artery and human
(connectedBodyPartTypes AcromialArtery ThoracoacromialArtery Human) arteries.kif 986-986 connectedBodyPartTypes acromial artery, thoracoacromial artery and human
(connectedBodyPartTypes AfferentArteriole InterlobularArtery Human) arteries.kif 1465-1465 connectedBodyPartTypes afferent arteriole, interlobular artery and human
(connectedBodyPartTypes AnteriorEthmoidalArtery AnteriorMeningealArtery Human) arteries.kif 252-252 connectedBodyPartTypes anterior ethmoidal artery, anterior meningeal artery and human
(connectedBodyPartTypes AnteriorEthmoidalArtery AnteriorNasalArteryBranch Human) arteries.kif 257-257 connectedBodyPartTypes anterior ethmoidal artery, anterior nasal artery branch and human
(connectedBodyPartTypes AnteriorEthmoidalArtery InferiorPalpebralArchArtery Human) arteries.kif 267-267 connectedBodyPartTypes anterior ethmoidal artery, inferior palpebral arch artery and human
(connectedBodyPartTypes AnteriorEthmoidalArtery SuperiorPalpebralArchArtery Human) arteries.kif 262-262 connectedBodyPartTypes anterior ethmoidal artery, superior palpebral arch artery and human
(connectedBodyPartTypes AnteriorHumeralCircumflexArtery AxillaryArtery Human) arteries.kif 1016-1016 connectedBodyPartTypes anterior humeral circumflex artery, axillary artery and human
(connectedBodyPartTypes AnteriorInferiorCerebellarArtery BasilarArtery Human) arteries.kif 820-820 connectedBodyPartTypes anterior inferior cerebellar artery, basilar artery and human
(connectedBodyPartTypes AnteriorInterosseousArtery UlnarArtery Human) arteries.kif 1169-1169 connectedBodyPartTypes anterior interosseous artery, ulnar artery and human
(connectedBodyPartTypes AnteriorInterventricularArtery AnteriorInterventricularDiagonalArtery Human) arteries.kif 79-79 connectedBodyPartTypes anterior interventricular artery, anterior interventricular diagonal artery and human
(connectedBodyPartTypes AnteriorInterventricularArtery AnteriorInterventricularSeptalArtery Human) arteries.kif 73-73 connectedBodyPartTypes anterior interventricular artery, anterior interventricular septal artery and human
(connectedBodyPartTypes AnteriorLateralMalleolarArtery AnteriorTibialArtery Human) arteries.kif 1885-1885 connectedBodyPartTypes anterior lateral malleolar artery, anterior tibial artery and human
(connectedBodyPartTypes AnteriorMedialMalleolarArtery AnteriorTibialArtery Human) arteries.kif 1880-1880 connectedBodyPartTypes anterior medial malleolar artery, anterior tibial artery and human
(connectedBodyPartTypes AnteriorSpinalArtery VertebralArtery Human) arteries.kif 795-795 connectedBodyPartTypes anterior spinal artery, vertebral artery and human
(connectedBodyPartTypes AnteriorTibialArtery PoplitealArtery Human) arteries.kif 1863-1863 connectedBodyPartTypes anterior tibial artery, popliteal artery and human
(connectedBodyPartTypes AnteriorTibialRecurrentArtery AnteriorTibialArtery Human) arteries.kif 1873-1873 connectedBodyPartTypes anterior tibial recurrent artery, anterior tibial artery and human
(connectedBodyPartTypes AnteriorUlnarRecurrentArtery UlnarArtery Human) arteries.kif 1148-1148 connectedBodyPartTypes anterior ulnar recurrent artery, ulnar artery and human
(connectedBodyPartTypes AnterolateralCentralArtery ExternalStriateArtery Human) arteries.kif 371-371 connectedBodyPartTypes anterolateral central artery, external striate artery and human
(connectedBodyPartTypes AnterolateralCentralArtery InternalStriateArtery Human) arteries.kif 366-366 connectedBodyPartTypes anterolateral central artery, internal striate artery and human
(connectedBodyPartTypes AorticArch LeftCommonCarotidArtery Human) arteries.kif 164-164 connectedBodyPartTypes aortic arch, left common carotid artery and human
(connectedBodyPartTypes ArcuateArtery InterlobarArtery Human) arteries.kif 1454-1454 connectedBodyPartTypes arcuate artery, interlobar artery and human
(connectedBodyPartTypes ArteryOfBulbOfPenis InternalPudendalArtery MaleHuman) arteries.kif 1621-1621 connectedBodyPartTypes artery of bulb of penis, internal pudendal artery and MaleHuman
(connectedBodyPartTypes ArteryOfBulbOfVestibule InternalPudendalArtery FemaleHuman) arteries.kif 1626-1626 connectedBodyPartTypes artery of bulb of vestibule, internal pudendal artery and FemaleHuman

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