Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  RefrigeratorAndFreezerIndustry

 Sigma KEE - RefrigeratorAndFreezerIndustry
RefrigeratorAndFreezerIndustry(冰箱和冷凍行業)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1849-1849 例 冰箱和冷凍行業 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1860-1860 子屬性 商業和工業製冷卻和設備製造 and 冰箱和冷凍行業
No TPTP formula. May not be expressible in strict first order. Economy.kif 1859-1859 子屬性 家用冰箱和家用冰櫃製造 and 冰箱和冷凍行業
No TPTP formula. May not be expressible in strict first order. Economy.kif 1852-1852 子屬性 冷藏倉儲 and 冰箱和冷凍行業
No TPTP formula. May not be expressible in strict first order. Economy.kif 1851-1851 子屬性 製冷設備和用品批發商 and 冰箱和冷凍行業
No TPTP formula. May not be expressible in strict first order. Economy.kif 1850-1850 子屬性 製冷設備製造 and 冰箱和冷凍行業
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49184-49184
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49183-49183
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49182-49182


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