|
|
   AnteriorSpinalArtery
|
|
|
| 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 17133-17136 | |
| 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 17132-17132 | 例 左 and AntiSymmetricPositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17131-17131 | 例 左 and PositionalAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17140-17140 | 相反的屬性 右 and 左 |
| 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 16953-16957 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17146-17148 | 方位 Object, Object and 右 方位 Object, Object and 左 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 224-237 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 204-213 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2858-2858 | 子類 LeftArm and BodySideFn 左 and 臂 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2876-2876 | 子類 LeftEar and BodySideFn 左 and 耳 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2864-2864 | 子類 LeftElbow and BodySideFn 左 and 手肘 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2882-2882 | 子類 LeftEye and BodySideFn 左 and 眼睛 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2924-2924 | 子類 LeftFoot and BodySideFn 左 and 足 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2888-2888 | 子類 LeftHand and BodySideFn 左 and 手 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2918-2918 | 子類 LeftHip and BodySideFn 左 and Hip |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2900-2900 | 子類 LeftKidney and BodySideFn 左 and 腎 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2912-2912 | 子類 LeftKnee and BodySideFn 左 and 膝蓋 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2906-2906 | 子類 LeftLeg and BodySideFn 左 and 腿 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2894-2894 | 子類 LeftLung and BodySideFn 左 and 肺 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2870-2870 | 子類 LeftShoulder and BodySideFn 左 and 肩 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2930-2930 | 子類 LeftThigh and BodyAreaFn BodySideFn 左 and ThighMuscle |
|
|
|
