BodySideFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15020-15022 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15017-15017 | The number 1 argument of Body side fn is an instance of anti-symmetric positional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | The number 2 argument of Body side fn is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15016-15016 | Body side fn is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15019-15019 | The values returned by Body side fn are subclasses of body part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15023-15023 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64555-64555 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15025-15036 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15038-15040 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15025-15036 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2858-2858 | Left arm is a subclass of the left arm |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2876-2876 | Left ear is a subclass of the left ear |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2864-2864 | Left elbow is a subclass of the left elbow |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2882-2882 | Left eye is a subclass of the left eye |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2924-2924 | Left foot is a subclass of the left foot |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2888-2888 | Left hand is a subclass of the left hand |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2918-2918 | Left hip is a subclass of the left Hip |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2900-2900 | Left kidney is a subclass of the left kidney |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2912-2912 | Left knee is a subclass of the left knee |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2906-2906 | Left leg is a subclass of the left leg |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2894-2894 | Left lung is a subclass of the left lung |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2870-2870 | Left shoulder is a subclass of the left shoulder |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2930-2930 | Left thigh is a subclass of BodyAreaFn the left quadriceps |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2861-2861 | Right arm is a subclass of the right arm |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2879-2879 | Right ear is a subclass of the right ear |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2867-2867 | Right elbow is a subclass of the right elbow |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2873-2873 | Right elbow is a subclass of the right shoulder |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2885-2885 | Right eye is a subclass of the right eye |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2927-2927 | Right foot is a subclass of the right foot |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2891-2891 | Right hand is a subclass of the right hand |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2921-2921 | Right hip is a subclass of the right Hip |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2903-2903 | Right kidney is a subclass of the right kidney |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2915-2915 | Right knee is a subclass of the right knee |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2909-2909 | Right leg is a subclass of the right leg |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2897-2897 | 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 |