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

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3002-3002 空白活页本装订和装置制造 是 印花 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2996-2996 书籍印刷 是 印花 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2961-2961 商业柔版印刷 是 印花 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2954-2954 商业凹版印刷 是 印花 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2947-2947 商业平版印刷 是 印花 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2968-2968 商业丝网印刷 是 印花 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2982-2982 数字印刷 是 印花 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2989-2989 多种业务形式印刷 是 印花 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3010-3010 其他商业印刷 是 印花 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2976-2976 快速印刷 是 印花 的 subAttribute
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