No TPTP formula. May not be expressible in strict first order. |
Merge.kif 785-785 |
分派函数 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4845-4845 |
最大公因数函数 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 404-404 |
纬度 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4931-4931 |
最小公倍数函数 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2932-2932 |
表列函数 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 443-443 |
经度 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 456-456 |
相反属性 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 565-565 |
不相交的分拆 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 487-487 |
详尽的属性 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 547-547 |
彻底的分拆 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 581-581 |
划分 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 687-687 |
进程列表 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 930-930 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1067-1067 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 606-606 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 137-137 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 140-140 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2291-2291 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 558-558 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 174-174 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 627-627 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 141-141 |
|