TreeView Knowledge Base Browser

appearance as argument number 1

(documentation BodySideFn EnglishLanguage "A Function that takes a BodyPart that normally exists in pairs and returns the part that is on the given side of the body, for example (BodyPartFn Right Lung) or (BodyPartFn Left Arm).")	Merge.kif 15149-15151
(domain BodySideFn 1 AntiSymmetricPositionalAttribute)	Merge.kif 15146-15146	The number 1 argument of Body side fn is an instance of anti_symmetric positional attribute
(domainSubclass BodySideFn 2 BodyPart)	Merge.kif 15147-15147	The number 2 argument of Body side fn is a subclass of body part
(instance BodySideFn BinaryFunction)	Merge.kif 15145-15145	Body side fn is an instance of binary function
(rangeSubclass BodySideFn BodyPart)	Merge.kif 15148-15148	The values returned by Body side fn are subclasses of body part

appearance as argument number 2

(format EnglishLanguage BodySideFn "the %1 %2")	Merge.kif 15152-15152
(termFormat EnglishLanguage BodySideFn "Body side fn")	domainEnglishFormat.kif 64546-64546

antecedent

(=> (and (instance ?A Animal) (instance ?P (BodySideFn ?S ?BPC)) (contraryAttribute ?S ?SO) (attribute ?A Healthy)) (exists (?PO) (and (instance ?PO (BodySideFn ?SO ?BPC)) (orientation ?P ?PO ?S))))	Merge.kif 15154-15165	If an object is an instance of animal and another object is an instance of the an anti_symmetric positional attribute a kind of body part and the anti_symmetric positional attribute is the opposite of the anti_symmetric positional attributeO and healthy is an attribute of the object, then there exists the other objectO such that the other objectO is an instance of the the anti_symmetric positional attributeO a kind of body part and the other object is the anti_symmetric positional attribute to the other objectO
(=> (instance ?X (BodySideFn ?S ?P)) (instance ?X ?P))	Merge.kif 15167-15169	If an entity is an instance of the an anti_symmetric positional attribute a kind of body part, then the entity is an instance of a kind of body part

consequent

(=>
    (and
        (instance ?A Animal)
        (instance ?P
            (BodySideFn ?S ?BPC))
        (contraryAttribute ?S ?SO)
        (attribute ?A Healthy))
    (exists (?PO)
        (and
            (instance ?PO
                (BodySideFn ?SO ?BPC))
            (orientation ?P ?PO ?S))))

Merge.kif 15154-15165

If an object is an instance of animal and another object is an instance of the an anti_symmetric positional attribute a kind of body part and the anti_symmetric positional attribute is the opposite of the anti_symmetric positional attributeO and healthy is an attribute of the object,
then there exists the other objectO such that the other objectO is an instance of the the anti_symmetric positional attributeO a kind of body part and the other object is the anti_symmetric positional attribute to the other objectO

statement

(subclass LeftArm (BodySideFn Left Arm))	Medicine.kif 2859-2859	Left arm is a subclass of the left arm
(subclass LeftEar (BodySideFn Left Ear))	Medicine.kif 2877-2877	Left ear is a subclass of the left ear
(subclass LeftElbow (BodySideFn Left Elbow))	Medicine.kif 2865-2865	Left elbow is a subclass of the left elbow
(subclass LeftEye (BodySideFn Left Eye))	Medicine.kif 2883-2883	Left eye is a subclass of the left eye
(subclass LeftFoot (BodySideFn Left Foot))	Medicine.kif 2925-2925	Left foot is a subclass of the left foot
(subclass LeftHand (BodySideFn Left Hand))	Medicine.kif 2889-2889	Left hand is a subclass of the left hand
(subclass LeftHip (BodySideFn Left Hip))	Medicine.kif 2919-2919	Left hip is a subclass of the left Hip
(subclass LeftKidney (BodySideFn Left Kidney))	Medicine.kif 2901-2901	Left kidney is a subclass of the left kidney
(subclass LeftKnee (BodySideFn Left Knee))	Medicine.kif 2913-2913	Left knee is a subclass of the left knee
(subclass LeftLeg (BodySideFn Left Leg))	Medicine.kif 2907-2907	Left leg is a subclass of the left leg
(subclass LeftLung (BodySideFn Left Lung))	Medicine.kif 2895-2895	Left lung is a subclass of the left lung
(subclass LeftShoulder (BodySideFn Left Shoulder))	Medicine.kif 2871-2871	Left shoulder is a subclass of the left shoulder
(subclass LeftThigh (BodyAreaFn (BodySideFn Left ThighMuscle)))	Medicine.kif 2931-2931	Left thigh is a subclass of body area the left quadriceps
(subclass RightArm (BodySideFn Right Arm))	Medicine.kif 2862-2862	Right arm is a subclass of the right arm
(subclass RightEar (BodySideFn Right Ear))	Medicine.kif 2880-2880	Right ear is a subclass of the right ear
(subclass RightElbow (BodySideFn Right Elbow))	Medicine.kif 2868-2868	Right elbow is a subclass of the right elbow
(subclass RightElbow (BodySideFn Right Shoulder))	Medicine.kif 2874-2874	Right elbow is a subclass of the right shoulder
(subclass RightEye (BodySideFn Right Eye))	Medicine.kif 2886-2886	Right eye is a subclass of the right eye
(subclass RightFoot (BodySideFn Right Foot))	Medicine.kif 2928-2928	Right foot is a subclass of the right foot
(subclass RightHand (BodySideFn Right Hand))	Medicine.kif 2892-2892	Right hand is a subclass of the right hand
(subclass RightHip (BodySideFn Right Hip))	Medicine.kif 2922-2922	Right hip is a subclass of the right Hip
(subclass RightKidney (BodySideFn Right Kidney))	Medicine.kif 2904-2904	Right kidney is a subclass of the right kidney
(subclass RightKnee (BodySideFn Right Knee))	Medicine.kif 2916-2916	Right knee is a subclass of the right knee
(subclass RightLeg (BodySideFn Right Leg))	Medicine.kif 2910-2910	Right leg is a subclass of the right leg
(subclass RightLung (BodySideFn Right Lung))	Medicine.kif 2898-2898	Right lung is a subclass of the right lung

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: