No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13037-13037 |
沟通 和 内容制作 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4535-4535 |
AccountCreationRejected 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3240-3240 |
艺术绘画 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3320-3320 |
谱曲 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16787-16787 |
电脑编程 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4317-4317 |
DataEntry 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10851-10851 |
设计 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3332-3332 |
画画 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3557-3557 |
输入PIN码 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20663-20663 |
电影制作 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13300-13300 |
拍摄 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2846-2846 |
Posting 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12846-12846 |
出版 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12682-12682 |
朗读 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3275-3275 |
Sculpting 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3309-3309 |
追踪 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12730-12730 |
翻译 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4153-4153 |
更新 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12697-12697 |
写作 是 内容制作 的 subclass |
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 |