TreeView Knowledge Base Browser - connectedBodyPartTypes

appearance as argument number 1

(instance connectedBodyPartTypes TernaryPredicate)	Anatomy.kif 20-20	connected body parts is an instance of ternary predicate
(documentation connectedBodyPartTypes EnglishLanguage "Parts of a healthy organism that are present and connected to each other.")	Anatomy.kif 21-22	connected body parts is an instance of ternary predicate
(domainSubclass connectedBodyPartTypes 1 BodyPart)	Anatomy.kif 24-24	The number 1 argument of connected body parts is a subclass of body part
(domainSubclass connectedBodyPartTypes 2 BodyPart)	Anatomy.kif 25-25	The number 2 argument of connected body parts is a subclass of body part
(domainSubclass connectedBodyPartTypes 3 Organism)	Anatomy.kif 26-26	The number 3 argument of connected body parts is a subclass of organism

appearance as argument number 2

(termFormat EnglishLanguage connectedBodyPartTypes "connected body parts")

Anatomy.kif 23-23

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 29-43	If connected body parts X, Y and Z, W is an instance of Z, and disease or syndrome is not an attribute of V, then All of the following hold: (1) there exist U (2) T such that U is an instance of X (3) T is an instance of Y (4) equal U (5) T (6) U is a part of W (7) T is a part of W (8) U is connected to T
(=> (connectedBodyPartTypes ?P1 ?P2 ?O) (connectedBodyPartTypes ?P2 ?P1 ?O))	Anatomy.kif 45-47	If connected body parts X, Y and Z, then connected body parts Y, X and Z

consequent

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

Anatomy.kif 45-47

If connected body parts X, Y and Z, then connected body parts Y, X and Z

appearance as argument number 0

(connectedBodyPartTypes OccipitalBone C1VertebraBone Human)	Anatomy.kif 86-86	connected body parts occipital bone, atlas and human
(connectedBodyPartTypes Mandible LeftTemporalBone Human)	Anatomy.kif 136-136	connected body parts mandible, left temporal bone and human
(connectedBodyPartTypes Mandible RightTemporalBone Human)	Anatomy.kif 137-137	connected body parts mandible, right temporal bone and human
(connectedBodyPartTypes LeftScapulaBone LeftHumerus Human)	Anatomy.kif 246-246	connected body parts left scapula bone, left humerus and human
(connectedBodyPartTypes LeftScapulaBone LeftClavicleBone Human)	Anatomy.kif 247-247	connected body parts left scapula bone, left clavicle bone and human
(connectedBodyPartTypes RightScapulaBone RightHumerus Human)	Anatomy.kif 252-252	connected body parts right scapula bone, right humerus and human
(connectedBodyPartTypes RighttScapulaBone RightClavicleBone Human)	Anatomy.kif 253-253	connected body parts RighttScapulaBone, right clavicle bone and human
(connectedBodyPartTypes XyphiodProcess Sternum Human)	Anatomy.kif 275-275	connected body parts sternum, sternum and human
(connectedBodyPartTypes LeftTrueRib1Bone T1VertebraBone Human)	Anatomy.kif 312-312	connected body parts left true rib 1 bone, T1 vertebra bone and human
(connectedBodyPartTypes RightTrueRib1Bone T1VertebraBone Human)	Anatomy.kif 313-313	connected body parts right true rib 1 bone, T1 vertebra bone and human
(connectedBodyPartTypes LeftTrueRib2Bone T2VertebraBone Human)	Anatomy.kif 327-327	connected body parts left true rib 2 bone, T2 vertebra bone and human
(connectedBodyPartTypes RightTrueRib2Bone T2VertebraBone Human)	Anatomy.kif 328-328	connected body parts right true rib 2 bone, T2 vertebra bone and human
(connectedBodyPartTypes LeftTrueRib3Bone T3VertebraBone Human)	Anatomy.kif 342-342	connected body parts left true rib 3 bone, T3 Vertebra Bone and human
(connectedBodyPartTypes RightTrueRib3Bone T3VertebraBone Human)	Anatomy.kif 343-343	connected body parts right true rib 3 bone, T3 Vertebra Bone and human
(connectedBodyPartTypes LeftTrueRib4Bone T4VertebraBone Human)	Anatomy.kif 357-357	connected body parts left true rib 4 bone, T4 vertebra bone and human
(connectedBodyPartTypes RightTrueRib4Bone T4VertebraBone Human)	Anatomy.kif 358-358	connected body parts right true rib 4 bone, T4 vertebra bone and human
(connectedBodyPartTypes LeftTrueRib5Bone T5VertebraBone Human)	Anatomy.kif 372-372	connected body parts left true rib 5 bone, T5 vertebra bone and human
(connectedBodyPartTypes RightTrueRib5Bone T5VertebraBone Human)	Anatomy.kif 373-373	connected body parts right true rib 5 bone, T5 vertebra bone and human
(connectedBodyPartTypes LeftTrueRib6Bone T6VertebraBone Human)	Anatomy.kif 387-387	connected body parts left true rib 6 bone, T6 Vertebra Bone and human
(connectedBodyPartTypes RightTrueRib6Bone T6VertebraBone Human)	Anatomy.kif 388-388	connected body parts right true rib 6 bone, T6 Vertebra Bone and human
(connectedBodyPartTypes LeftTrueRib7Bone T7VertebraBone Human)	Anatomy.kif 402-402	connected body parts left true rib 7 bone, T7 vertebra bone and human
(connectedBodyPartTypes RightTrueRib7Bone T7VertebraBone Human)	Anatomy.kif 403-403	connected body parts right true rib 7 bone, T7 vertebra bone and human
(connectedBodyPartTypes LeftFalseRib8Bone T8VertebraBone Human)	Anatomy.kif 433-433	connected body parts left false rib 8 bone, T8 vertebra bone and human
(connectedBodyPartTypes RightFalseRib8Bone T8VertebraBone Human)	Anatomy.kif 434-434	connected body parts right false rib 8 bone, T8 vertebra bone and human
(connectedBodyPartTypes LeftFalseRib9Bone T9VertebraBone Human)	Anatomy.kif 448-448	connected body parts left false rib 9 bone, T9 Vertebra Bone and human

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)

KB Term:			Term intersection

English Word: