| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 888-888 |
例 背部 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 868-868 |
例 面前 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9949-9949 |
例 分類差異 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9928-9928 |
例 mereological產品 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9906-9906 |
例 mereological 總和 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4233-4233 |
例 哪裡 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1454-1454 |
例 絕對高度 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31426-31426 |
例 beforeOnPath and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4158-4158 |
例 之間 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4179-4179 |
例 在路徑之間 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9621-9621 |
例 連接的 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9648-9648 |
例 連接 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1009-1009 |
例 包含 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16037-16037 |
例 covers and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1531-1531 |
例 cylinderBore and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7744-7744 |
例 距離 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 987-987 |
例 hole and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25361-25361 |
例 初始部分 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25389-25389 |
例 最初包含部分 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7818-7818 |
例 更大 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17070-17070 |
例 方位 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 907-907 |
例 部分 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10098-10098 |
例 部分填補 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4046-4046 |
例 部分位於 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 729-729 |
例 physicalAmplitude and SpatialRelation |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
