No TPTP formula. May not be expressible in strict first order. |
naics.kif 11987-11987 |
公墓和火葬场 是 死亡护理服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11980-11980 |
殡仪馆和殡仪服务 是 死亡护理服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18756-18756 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18755-18755 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18754-18754 |
|