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 9848-9848 |
例 分類差異 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9827-9827 |
例 mereological產品 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 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 29762-29762 |
例 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 9522-9522 |
例 連接的 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9549-9549 |
例 連接 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 29731-29731 |
例 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 7699-7699 |
例 距離 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 23696-23696 |
例 初始部分 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23723-23723 |
例 最初包含部分 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7770-7770 |
例 更大 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16932-16932 |
例 方位 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 9997-9997 |
例 部分填補 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 |