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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Printing
Printing

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 2943-2945
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6793-6793
No TPTP formula. May not be expressible in strict first order. naics.kif 2941-2941 Printing e' um sub-atributo de PrintingAndRelatedSupportActivities

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3002-3002 BlankbookLooseleafBindersAndDevicesManufacturing e' um sub-atributo de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2996-2996 BooksPrinting e' um sub-atributo de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2961-2961 CommercialFlexographicPrinting e' um sub-atributo de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2954-2954 CommercialGravurePrinting e' um sub-atributo de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2947-2947 CommercialLithographicPrinting e' um sub-atributo de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2968-2968 CommercialScreenPrinting e' um sub-atributo de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2982-2982 DigitalPrinting e' um sub-atributo de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2989-2989 ManifoldBusinessFormsPrinting e' um sub-atributo de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 3010-3010 OtherCommercialPrinting e' um sub-atributo de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2976-2976 QuickPrinting e' um sub-atributo de Printing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47378-47378
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47377-47377
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47376-47376


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