|
|
  Below
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3819-3821 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17086-17089 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10513-10513 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10511-10511 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10514-10514 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10508-10508 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10515-10515 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9906-9906 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10510-10510 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10512-10512 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10509-10509 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17085-17085 | 下面 是 AntiSymmetricPositionalAttribute 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17084-17084 | 下面 是 位置属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17073-17073 | 以上 是 下面 的相反 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10703-10703 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10702-10702 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10701-10701 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 534-534 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17091-17095 | 客体 在 另一个 客体 的 下面 若且唯若 那个 另外 客体 在 那个 客体 的 上 或 那个 另外 客体 在 那个 客体 的 以上 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3999-4010 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12930-12941 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11587-11592 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21147-21177 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9730-9735 | |
| 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. | Merge.kif 7736-7738 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15411-15420 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6072-6079 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17678-17683 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26902-26911 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 328-333 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3991-3997 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19237-19248 |
|
|
|
