No TPTP formula. May not be expressible in strict first order. |
Merge.kif 895-895 |
例 背部 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 875-875 |
例 面前 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9826-9826 |
例 分類差異 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9805-9805 |
例 mereological產品 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9783-9783 |
例 mereological 總和 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4220-4220 |
例 哪裡 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 29774-29774 |
例 beforeOnPath and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4150-4150 |
例 之間 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4171-4171 |
例 在路徑之間 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9500-9500 |
例 連接的 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9527-9527 |
例 連接 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1014-1014 |
例 包含 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29743-29743 |
例 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 7677-7677 |
例 距離 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 992-992 |
例 hole and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23697-23697 |
例 初始部分 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23724-23724 |
例 最初包含部分 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7748-7748 |
例 更大 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16910-16910 |
例 方位 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 914-914 |
例 部分 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9975-9975 |
例 部分填補 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4042-4042 |
例 部分位於 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 |