No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13059-13059 |
相關的內部概念 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 16809-16809 |
子類 電腦編程 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 10873-10873 |
子類 設計 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 20662-20662 |
子類 電影製作 and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13299-13299 |
子類 拍攝 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 12868-12868 |
子類 Publication and ContentDevelopment |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12704-12704 |
子類 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 12752-12752 |
子類 翻譯 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 12719-12719 |
子類 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 |