|
|
  Above
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17095-17095 | 以上 是 下面 的相反 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3817-3818 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17096-17099 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10350-10350 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10349-10349 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10351-10351 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17094-17094 | 以上 是 AntiSymmetricPositionalAttribute 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17093-17093 | 以上 是 位置属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5100-5100 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5099-5099 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5098-5098 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 533-533 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2533-2546 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2562-2576 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17101-17104 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17113-17117 | 客体 在 另一个 客体 的 下面 若且唯若 那个 另外 客体 在 那个 客体 的 上 或 那个 另外 客体 在 那个 客体 的 以上 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7736-7738 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9737-9742 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1469-1481 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1488-1500 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5561-5570 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9538-9543 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4288-4297 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1157-1165 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30304-30311 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15384-15391 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2037-2046 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3878-3886 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3958-3969 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19219-19230 |
|
|
|
