|
|
  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 | 殡仪馆和殡仪服务 是 死亡护理服务 的 subAttribute |
| 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 |
|
|
|
