No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13037-13037 |
相關的內部概念 Communication and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4535-4535 |
子類 AccountCreationRejected and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3240-3240 |
子類 藝術繪畫 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3320-3320 |
子類 譜曲 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16787-16787 |
子類 電腦編程 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4317-4317 |
子類 DataEntry and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10851-10851 |
子類 設計 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3332-3332 |
子類 畫畫 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3557-3557 |
子類 輸入PIN碼 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20663-20663 |
子類 電影製作 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13300-13300 |
子類 拍攝 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2846-2846 |
子類 Posting and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12846-12846 |
子類 Publication and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12682-12682 |
子類 Reading and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3275-3275 |
子類 Sculpting and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3309-3309 |
子類 追踪 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12730-12730 |
子類 翻譯 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4153-4153 |
子類 更新 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12697-12697 |
子類 Writing and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1177-1177 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1571-1571 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 855-855 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 387-387 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 390-390 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |