Left(left) | dexter, larboard, left, left-hand, left_stage, near, nigh, port, sinister, sinistral, sinistrorsal, sinistrorse, stage_left |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3824-3825 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17111-17114 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10094-10094 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17110-17110 | Left is an instance of anti-symmetric positional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17109-17109 | Left is an instance of positional attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17118-17118 | Right is the opposite of left |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33761-33761 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33760-33760 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33759-33759 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 536-536 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16931-16935 |
|
consequent |
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 |