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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SupportActivitiesForPrinting

 Sigma KEE - SupportActivitiesForPrinting
SupportActivitiesForPrinting

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3019-3021
No TPTP formula. May not be expressible in strict first order. naics.kif 3017-3017 SupportActivitiesForPrinting e' um sub-atributo de PrintingAndRelatedSupportActivities

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3030-3030 PrepressServices e' um sub-atributo de SupportActivitiesForPrinting
No TPTP formula. May not be expressible in strict first order. naics.kif 3023-3023 TradebindingAndRelatedWork e' um sub-atributo de SupportActivitiesForPrinting
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56193-56193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56192-56192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56191-56191


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