| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16346-16346 |
例 祖先 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24165-24165 |
例 祖先組織 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8098-8098 |
例 之前 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16501-16501 |
例 哥哥 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6493-6493 |
例 共軛 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11956-11956 |
例 connectedBodyPart and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29742-29742 |
例 covers and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4199-4199 |
例 十字架 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 457-457 |
例 依賴的地緣政治區域 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14320-14320 |
例 發展形式 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8305-8305 |
例 期間 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8368-8368 |
例 早期 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8066-8066 |
例 飾面 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5425-5425 |
例 流動 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14043-14043 |
例 地理分區域 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14088-14088 |
例 地緣政治細分 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1844-1844 |
例 比較多 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9694-9694 |
例 內飾部分 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7749-7749 |
例 更大 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1832-1832 |
例 少於 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4071-4071 |
例 位於 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4895-4895 |
例 乘法因子 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4292-4292 |
例 前提 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 927-927 |
例 適當的部分 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16510-16510 |
例 妹妹 and TransitiveRelation |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
