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 印刷和相关的支持活动 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2941-2941 印花 是 印刷和相关的支持活动 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3017-3017 支持印刷活动 是 印刷和相关的支持活动 的 subAttribute
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