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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Printing

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 est un sous-attribut de PrintingAndRelatedSupportActivities

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3002-3002 BlankbookLooseleafBindersAndDevicesManufacturing est un sous-attribut de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2996-2996 BooksPrinting est un sous-attribut de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2961-2961 CommercialFlexographicPrinting est un sous-attribut de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2954-2954 CommercialGravurePrinting est un sous-attribut de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2947-2947 CommercialLithographicPrinting est un sous-attribut de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2968-2968 CommercialScreenPrinting est un sous-attribut de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2982-2982 DigitalPrinting est un sous-attribut de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2989-2989 ManifoldBusinessFormsPrinting est un sous-attribut de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 3010-3010 OtherCommercialPrinting est un sous-attribut de Printing
No TPTP formula. May not be expressible in strict first order. naics.kif 2976-2976 QuickPrinting est un sous-attribut 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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