Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhotographicServices
PhotographicServices(photographic services)

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 Photographic services is a subattribute of other professional scientific and technical services

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 10241-10241 Commercial photography is a subattribute of photographic services
No TPTP formula. May not be expressible in strict first order. naics.kif 10234-10234 Photography studios portrait is a subattribute of photographic services
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners