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 子屬性 支持印刷活動 and 印刷和相關的支持活動

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3030-3030 子屬性 印前服務 and 支持印刷活動
No TPTP formula. May not be expressible in strict first order. naics.kif 3023-3023 子屬性 貿易綁定和相關工作 and 支持印刷活動
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