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

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3002-3002 子屬性 空白活頁本裝訂和裝置製造 and 印花
No TPTP formula. May not be expressible in strict first order. naics.kif 2996-2996 子屬性 書籍印刷 and 印花
No TPTP formula. May not be expressible in strict first order. naics.kif 2961-2961 子屬性 商業柔版印刷 and 印花
No TPTP formula. May not be expressible in strict first order. naics.kif 2954-2954 子屬性 商業凹版印刷 and 印花
No TPTP formula. May not be expressible in strict first order. naics.kif 2947-2947 子屬性 商業平版印刷 and 印花
No TPTP formula. May not be expressible in strict first order. naics.kif 2968-2968 子屬性 商業絲網印刷 and 印花
No TPTP formula. May not be expressible in strict first order. naics.kif 2982-2982 子屬性 數字印刷 and 印花
No TPTP formula. May not be expressible in strict first order. naics.kif 2989-2989 子屬性 多種業務形式印刷 and 印花
No TPTP formula. May not be expressible in strict first order. naics.kif 3010-3010 子屬性 其他商業印刷 and 印花
No TPTP formula. May not be expressible in strict first order. naics.kif 2976-2976 子屬性 快速印刷 and 印花
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