No TPTP formula. May not be expressible in strict first order. |
Merge.kif 785-785 |
例 任務 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4845-4845 |
例 最大公約數 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 404-404 |
例 緯度 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4931-4931 |
例 最不常見的倍數 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2932-2932 |
例 名單 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 443-443 |
例 經度 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 456-456 |
例 相反的屬性 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 565-565 |
例 不相交分解 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 487-487 |
例 詳盡的屬性 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 547-547 |
例 徹底分解 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 581-581 |
例 劃分 and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 687-687 |
例 進程列表 and VariableArityRelation |
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 |
|