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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PrintingAndRelatedSupportActivities

 Sigma KEE - PrintingAndRelatedSupportActivities
PrintingAndRelatedSupportActivities

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2919-2921
No TPTP formula. May not be expressible in strict first order. naics.kif 2917-2917 PrintingAndRelatedSupportActivities est une instance de IndustryAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2941-2941 Printing est un sous-attribut de PrintingAndRelatedSupportActivities
No TPTP formula. May not be expressible in strict first order. naics.kif 3017-3017 SupportActivitiesForPrinting est un sous-attribut de PrintingAndRelatedSupportActivities
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47384-47384
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47383-47383
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47382-47382

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 2923-2939


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