FuneralHomesAndFuneralServices(殯儀館和殯儀服務)![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11982-11985 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3083-3083 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3084-3084 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2954-2954 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11980-11980 | 子屬性 殯儀館和殯儀服務 and 死亡護理服務 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25226-25226 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25225-25225 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25224-25224 |
![]() |
![]() |