|
|
  GraphicDesignServices
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10016-10018 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8508-8508 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10014-10014 | 子屬性 平面設計服務 and 專業的設計服務 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26454-26454 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26453-26453 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26452-26452 |
|
|
|
