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 14974-14976
(domain BodySideFn 1 AntiSymmetricPositionalAttribute)	Merge.kif 14971-14971	BodySideFn の数値 1 引数は AntiSymmetricPositionalAttribute の instance では %n
(domainSubclass BodySideFn 2 BodyPart)	Merge.kif 14972-14972	BodySideFn の数値 2 引数は体の部分のsubclass では %n
(instance BodySideFn BinaryFunction)	Merge.kif 14970-14970	BodySideFn は 2変数関数の instance では %n
(rangeSubclass BodySideFn BodyPart)	Merge.kif 14973-14973	BodySideFn が返す値は体の部分の subclasses では %n

appearance as argument number 2

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

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 14979-14990	オブジェクトは動物の instance では %n オブジェクトは BodySideFn AntiSymmetricPositionalAttribute and 体の部分の instance では %n AntiSymmetricPositionalAttribute は AntiSymmetricPositionalAttributeO の disjoint では %n Healthy はオブジェクトの attribute では %n オブジェクトO オブジェクトO は BodySideFn AntiSymmetricPositionalAttributeO and 体の部分の instance では %n オブジェクトは AntiSymmetricPositionalAttribute 対オブジェクトO では %n
(=> (instance ?X (BodySideFn ?S ?P)) (instance ?X ?P))	Merge.kif 14992-14994	エンティティーは BodySideFn AntiSymmetricPositionalAttribute and 体の部分の instance では %n エンティティーは体の部分の instance では %n

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 14979-14990

オブジェクトは動物の instance では %n オブジェクトは BodySideFn AntiSymmetricPositionalAttribute and 体の部分の instance では %n AntiSymmetricPositionalAttribute は AntiSymmetricPositionalAttributeO の disjoint では %n Healthy はオブジェクトの attribute では %n
オブジェクトO オブジェクトO は BodySideFn AntiSymmetricPositionalAttributeO and 体の部分の instance では %n オブジェクトは AntiSymmetricPositionalAttribute 対オブジェクトO では %n

statement

(subclass LeftArm (BodySideFn Left Arm))	Medicine.kif 2858-2858	LeftArm は BodySideFn Left and Arm の subclass では %n
(subclass LeftEar (BodySideFn Left Ear))	Medicine.kif 2876-2876	LeftEar は BodySideFn Left and Ear の subclass では %n
(subclass LeftElbow (BodySideFn Left Elbow))	Medicine.kif 2864-2864	LeftElbow は BodySideFn Left and Elbow の subclass では %n
(subclass LeftEye (BodySideFn Left Eye))	Medicine.kif 2882-2882	LeftEye は BodySideFn Left and Eye の subclass では %n
(subclass LeftFoot (BodySideFn Left Foot))	Medicine.kif 2924-2924	LeftFoot は BodySideFn Left and Foot の subclass では %n
(subclass LeftHand (BodySideFn Left Hand))	Medicine.kif 2888-2888	LeftHand は BodySideFn Left and Hand の subclass では %n
(subclass LeftHip (BodySideFn Left Hip))	Medicine.kif 2918-2918	LeftHip は BodySideFn Left and Hip の subclass では %n
(subclass LeftKidney (BodySideFn Left Kidney))	Medicine.kif 2900-2900	LeftKidney は BodySideFn Left and Kidney の subclass では %n
(subclass LeftKnee (BodySideFn Left Knee))	Medicine.kif 2912-2912	LeftKnee は BodySideFn Left and Knee の subclass では %n
(subclass LeftLeg (BodySideFn Left Leg))	Medicine.kif 2906-2906	LeftLeg は BodySideFn Left and Leg の subclass では %n
(subclass LeftLung (BodySideFn Left Lung))	Medicine.kif 2894-2894	LeftLung は BodySideFn Left and Lung の subclass では %n
(subclass LeftShoulder (BodySideFn Left Shoulder))	Medicine.kif 2870-2870	LeftShoulder は BodySideFn Left and Shoulder の subclass では %n
(subclass LeftThigh (BodyAreaFn (BodySideFn Left ThighMuscle)))	Medicine.kif 2930-2930	LeftThigh は BodyAreaFn BodySideFn Left and ThighMuscle の subclass では %n
(subclass RightArm (BodySideFn Right Arm))	Medicine.kif 2861-2861	RightArm は BodySideFn Right and Arm の subclass では %n
(subclass RightEar (BodySideFn Right Ear))	Medicine.kif 2879-2879	RightEar は BodySideFn Right and Ear の subclass では %n
(subclass RightElbow (BodySideFn Right Elbow))	Medicine.kif 2867-2867	RightElbow は BodySideFn Right and Elbow の subclass では %n
(subclass RightElbow (BodySideFn Right Shoulder))	Medicine.kif 2873-2873	RightElbow は BodySideFn Right and Shoulder の subclass では %n
(subclass RightEye (BodySideFn Right Eye))	Medicine.kif 2885-2885	RightEye は BodySideFn Right and Eye の subclass では %n
(subclass RightFoot (BodySideFn Right Foot))	Medicine.kif 2927-2927	RightFoot は BodySideFn Right and Foot の subclass では %n
(subclass RightHand (BodySideFn Right Hand))	Medicine.kif 2891-2891	RightHand は BodySideFn Right and Hand の subclass では %n
(subclass RightHip (BodySideFn Right Hip))	Medicine.kif 2921-2921	RightHip は BodySideFn Right and Hip の subclass では %n
(subclass RightKidney (BodySideFn Right Kidney))	Medicine.kif 2903-2903	RightKidney は BodySideFn Right and Kidney の subclass では %n
(subclass RightKnee (BodySideFn Right Knee))	Medicine.kif 2915-2915	RightKnee は BodySideFn Right and Knee の subclass では %n
(subclass RightLeg (BodySideFn Right Leg))	Medicine.kif 2909-2909	RightLeg は BodySideFn Right and Leg の subclass では %n
(subclass RightLung (BodySideFn Right Lung))	Medicine.kif 2897-2897	RightLung は BodySideFn Right and Lung の subclass では %n

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: