PhotographicServices - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 10230-10232
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9549-9549
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8655-8655
No TPTP formula. May not be expressible in strict first order.	naics.kif 10228-10228	摄影服务是其他专业的科学技术服务的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 10241-10241	商业摄影是摄影服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10234-10234	摄影工作室肖像是摄影服务的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45690-45690
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45689-45689
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45688-45688