| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 895-895 |
挪后函数 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 875-875 |
挪前函数 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9826-9826 |
部分差异函数 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9805-9805 |
部分积函数 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9783-9783 |
部分总和函数 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4220-4220 |
表示位置的函数 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1454-1454 |
绝对高度 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29774-29774 |
beforeOnPath 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4150-4150 |
之间 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4171-4171 |
在路径之间 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9500-9500 |
相连 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9527-9527 |
连接 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1014-1014 |
容纳 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29743-29743 |
covers 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1531-1531 |
cylinderBore 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7677-7677 |
距离 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 992-992 |
洞 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23697-23697 |
初始部分 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23724-23724 |
最初包含部分 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7748-7748 |
更大 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16910-16910 |
定向 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 914-914 |
部分 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9975-9975 |
部分填入 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4042-4042 |
有一部分位于 是 空间关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 729-729 |
physicalAmplitude 是 空间关系 的 instance |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
