|
|
  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 | 左 是 AntiSymmetricPositionalAttribute 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17109-17109 | 左 是 位置属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17118-17118 | 右 是 左 的相反 |
| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17124-17126 | 客体 在 另一个 客体 的 右 若且唯若 那个 另外 客体 在 那个 客体 的 左 |
| 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 是 BodySideFn 左 and 臂 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2876-2876 | LeftEar 是 BodySideFn 左 and 耳 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2864-2864 | LeftElbow 是 BodySideFn 左 and 手肘 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2882-2882 | LeftEye 是 BodySideFn 左 and 眼睛 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2924-2924 | LeftFoot 是 BodySideFn 左 and 足 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2888-2888 | LeftHand 是 BodySideFn 左 and 手 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2918-2918 | LeftHip 是 BodySideFn 左 and Hip 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2900-2900 | LeftKidney 是 BodySideFn 左 and 肾 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2912-2912 | LeftKnee 是 BodySideFn 左 and 膝盖 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2906-2906 | LeftLeg 是 BodySideFn 左 and 腿 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2894-2894 | LeftLung 是 BodySideFn 左 and 肺 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2870-2870 | LeftShoulder 是 BodySideFn 左 and 肩 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2930-2930 | LeftThigh 是 BodyAreaFn BodySideFn 左 and ThighMuscle 的 subclass |
|
|
|
