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 支持印刷活动印刷和相关的支持活动subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3030-3030 印前服务支持印刷活动subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3023-3023 贸易绑定和相关工作支持印刷活动subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56191-56191
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56190-56190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56189-56189


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