No TPTP formula. May not be expressible in strict first order. |
naics.kif 8910-8910 |
电影和视频行业 是 电影和录音行业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8977-8977 |
录音行业 是 电影和录音行业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38727-38727 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38726-38726 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38725-38725 |
|